فاطمه شیرمحمدزاده ملکی

• Shirmohammadzadeh Maleki, Fatemeh, and Morteza Moniri. "Neighborhood Semantics for Basic and Intuitionistic Logic." Logic and Logical Philosophy (2015): .

• Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Weak Subintuitionistic Logics." Logic Journal of the IGPL (2016): .

• Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Subintuitionistic Logics with Kripke Semantics." Lecture Notes in Computer Science (2017): .

• Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Subintuitionistic logics and the implications they prove." Indagationes Mathematicae (2018): .

• Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Two Neighborhood Semantics for Subintuitionistic Logics." Lecture Notes in Computer Science (2019): .

• de Jongh, Dick, and Fatemeh Shirmohammadzadeh Maleki. "Binary Modal Companions for Subintuitionistic Logics." Logic, Epistemology, and the Unity of Science (2021): .

• Shirmohammadzadeh Maleki, Fatemeh, and Morteza Moniri. "Another Neighbourhood Semantics for Intuitionistic Logic." Logic Journal of the IGPL (2022): .

• Shirmohammadzadeh Maleki, Fatemeh. "Algebraic semantics for weak subintuitionistic logic WF." Archive for Mathematical Logic (2025): .

• شیرمحمدزاده ملکی، فاطمه. "همتاهای وجهی برای برخی منطق های زیرشهودی." منطق‌پژوهی (1400): .

• شیرمحمدزاده ملکی، فاطمه. "منطق وجهی نرمال دوموضعی." منطق‌پژوهی (1402): .

• شیرمحمدزاده ملکی، فاطمه. "دستگاه استنتاج طبیعی برای برخی منطق‌های زیرشهودی." منطق‌پژوهی (1403): .

• شیرمحمدزاده ملکی، فاطمه. "معرفی معناشناسی‌های مختلف برای منطق شهودی." منطق‌پژوهی (1399): .

• Shirmohammadzadeh Maleki Fatemeh, de Jongh Dick, 2017-02-22, Subintuitionistic Logics with Kripke Semantics

• Shirmohammadzadeh Maleki Fatemeh, de Jongh Dick, 2019-07-03, Two Neighborhood Semantics for Subintuitionistic Logics

• نشستی تخصصی با عنوان "همتاهای وجهی برای برخی منطق های زیرشهودی"، 1401/09/08، 1401/09/08

• دهمین همایش سالیانه انجمن منطق ایران، شركت كننده، ایران، تهران، 1401/12/03، 1401/12/04

• 14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), ارائه سخنرانی, Georgia, Tbilisi, 2023-09-18, 2023-09-22

• Shirmohammadzadeh Maleki Fatemeh, Two Neighborhood semantics of Subintuitionistic Logics, 12th International Tbilisi Symposium on Language, Logic, Computation, 2017-09-18, 2017-09-22

• Shirmohammadzadeh Maleki Fatemeh, Two Neighborhood Semantics of Subintuitionistic Logics, 13th International Tbilisi Symposium on Language, Logic, Computation, Congress, 2019-09-16, 2019-09-20

• Shirmohammadzadeh Maleki Fatemeh, de Jongh Dick, Below Godel-Dommett, SYSMICS 2019, other, 2019-01-21, 2019-01-25

• Shirmohammadzadeh Maleki Fatemeh, Neighborhood Semantics for subintuitionistic Logics, Algebra\Coalgebra Seminar of ILLC, 2016-02-24, 2016-02-24

• شیرمحمدزاده ملکی فاطمه، همتاهای وجهی برای برخی منطق های زیرشهودی، نشستی تخصصی با عنوان "همتاهای وجهی برای برخی منطق های زیرشهودی"، نشست تخصصی، 1401/09/08، 1401/09/08

• Shirmohammadzadeh Maleki Fatemeh, Implicational fragment of some subintuitionistic logics, 14th Tbilisi symposium on logic language and computation (TbiLLc 2023), Congress, 2023-09-18, 2023-09-22

• Shirmohammadzadeh Maleki Fatemeh, Weak Subintuitionistic Logics: Neighbourhood semantics and Modal companions, Two days Seminar on Mathematical Logic and its Applications, Speaker, 2025-05-28, 2025-07-29

• شیرمحمدزاده ملکی فاطمه، بررسی قطعاتی از برخی منطق های زیر شهودی، دوازدهمین همایش سالانه انجمن منطق ایران، 1403/12/04، 1403/12/05

• شیرمحمدزاده ملکی فاطمه، نشستی تخصصی با عنوان "همتاهای وجهی برای برخی منطق های زیرشهودی"، نشستی تخصصی با عنوان "همتاهای وجهی برای برخی منطق های زیرشهودی"، 1401/09/08، 1401/09/08

• شیرمحمدزاده ملکی، فاطمه و دیک دیانگ. Subintuitionistic Logics with Kripke Semantics.Berlin:Springer, Berlin, Heidelberg،1395.

• شیرمحمدزاده ملکی، فاطمه و دیک دیانگ. Two Neighborhood Semantics for Subintuitionistic Logics.Berlin:Springer, Berlin, Heidelberg،1398.

• شیرمحمدزاده ملکی، فاطمه و دیک دیانگ. Binary Modal Companions for Subintuitionistic Logics.:Springer, Cham،1399.

• معناشناسی‌های مختلف در منطق ریاضی و کاربرد آنها در فلسفه، جاری، 1403/08/01

• Binary modal logic and Unary Modal Logic, پایان یافته, 2022-07-23

• معناشناسی همسایگی دیگری برای منطق شهودی، پایان یافته، 1401/12/29

• استنتاج گرایی نظریه مدلی، عدم تعیین و ناسازگاری صوری، جاوید جعفری، دانشگاه تربیت مدرس، 1403/11/14، دکتری، دکتری

• دستگاه های منطقی برای احساسات خلاف واقع، فاطمه مشهدی راویز، دانشگاه تربیت مدرس، 1404/04/08، دکتری، دکتری

• کارشناسی, ریاضی محض, دانشگاه شهید مدنی آذربایجان, 1386

• کارشناسی ارشد, ریاضی محض, دانشگاه شهید بهشتی, 1391

• دکتری, منطق ریاضی, دانشگاه شهید بهشتی, 1395

• منطق تخصصی, نامشخص, 1381-82

• منطق تخصصی, نامشخص, 1381-82

• منطق شهودی

• منطق‌های زیرشهودی

• منطق وجهی

• منطق کلاسیک

• انگلیسی , سطح نوشتن : متوسط, سطح خواندن : پیشرفته, سطح صحبت‌کردن : متوسط