مقاله‌های علمی پژوهشی

1. Shirmohammadzadeh Maleki, Fatemeh, and Morteza Moniri. "Neighborhood Semantics for Basic and Intuitionistic Logic." Logic and Logical Philosophy (2015): .
2. Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Weak Subintuitionistic Logics." Logic Journal of the IGPL (2016): .
3. Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Subintuitionistic Logics with Kripke Semantics." Lecture Notes in Computer Science (2017): .
4. Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Subintuitionistic logics and the implications they prove." Indagationes Mathematicae (2018): .
5. Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Two Neighborhood Semantics for Subintuitionistic Logics." Lecture Notes in Computer Science (2019): .
6. de Jongh, Dick, and Fatemeh Shirmohammadzadeh Maleki. "Binary Modal Companions for Subintuitionistic Logics." Logic, Epistemology, and the Unity of Science (2021): .
7. Shirmohammadzadeh Maleki, Fatemeh, and Morteza Moniri. "Another Neighbourhood Semantics for Intuitionistic Logic." Logic Journal of the IGPL (2022): .
8. Shirmohammadzadeh Maleki, Fatemeh. "Algebraic semantics for weak subintuitionistic logic WF." Archive for Mathematical Logic (2025): .
9. شیرمحمدزاده ملکی، فاطمه. "همتاهای وجهی برای برخی منطق های زیرشهودی." منطق‌پژوهی (1400): .
10. شیرمحمدزاده ملکی، فاطمه. "منطق وجهی نرمال دوموضعی." منطق‌پژوهی (1402): .
11. شیرمحمدزاده ملکی، فاطمه. "دستگاه استنتاج طبیعی برای برخی منطق‌های زیرشهودی." منطق‌پژوهی (1403): .

مقاله‌های علمی مروری

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

مجموعه مقالات

1. Shirmohammadzadeh Maleki Fatemeh, de Jongh Dick, 2017-02-22, Subintuitionistic Logics with Kripke Semantics
2. Shirmohammadzadeh Maleki Fatemeh, de Jongh Dick, 2019-07-03, Two Neighborhood Semantics for Subintuitionistic Logics

طراحی وبرگزاری نشست‌/مدرسه‌تابستانی/کارگاه

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

شرکت‌درهمایش/سمینار/کارگاه آموزشی(شرکت/ارائه/همکاری)

1. دهمین همایش سالیانه انجمن منطق ایران، شركت كننده، ایران، تهران، 1401/12/03، 1401/12/04
2. 14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), ارائه سخنرانی, Georgia, Tbilisi, 2023-09-18, 2023-09-22

سخنرانی

1. Shirmohammadzadeh Maleki Fatemeh, Two Neighborhood semantics of Subintuitionistic Logics, 12th International Tbilisi Symposium on Language, Logic, Computation, 2017-09-18, 2017-09-22
2. Shirmohammadzadeh Maleki Fatemeh, Two Neighborhood Semantics of Subintuitionistic Logics, 13th International Tbilisi Symposium on Language, Logic, Computation, Congress, 2019-09-16, 2019-09-20
3. Shirmohammadzadeh Maleki Fatemeh, de Jongh Dick, Below Godel-Dommett, SYSMICS 2019, other, 2019-01-21, 2019-01-25
4. Shirmohammadzadeh Maleki Fatemeh, Neighborhood Semantics for subintuitionistic Logics, Algebra\Coalgebra Seminar of ILLC, 2016-02-24, 2016-02-24
5. شیرمحمدزاده ملکی فاطمه، همتاهای وجهی برای برخی منطق های زیرشهودی، نشستی تخصصی با عنوان "همتاهای وجهی برای برخی منطق های زیرشهودی"، نشست تخصصی، 1401/09/08، 1401/09/08
6. 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
7. 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
8. شیرمحمدزاده ملکی فاطمه، بررسی قطعاتی از برخی منطق های زیر شهودی، دوازدهمین همایش سالانه انجمن منطق ایران، 1403/12/04، 1403/12/05
9. شیرمحمدزاده ملکی فاطمه، نشستی تخصصی با عنوان "همتاهای وجهی برای برخی منطق های زیرشهودی"، نشستی تخصصی با عنوان "همتاهای وجهی برای برخی منطق های زیرشهودی"، 1401/09/08، 1401/09/08

فصلی از کتاب

1. شیرمحمدزاده ملکی، فاطمه و دیک دیانگ. Subintuitionistic Logics with Kripke Semantics.Berlin:Springer, Berlin, Heidelberg،1395.
2. شیرمحمدزاده ملکی، فاطمه و دیک دیانگ. Two Neighborhood Semantics for Subintuitionistic Logics.Berlin:Springer, Berlin, Heidelberg،1398.
3. شیرمحمدزاده ملکی، فاطمه و دیک دیانگ. Binary Modal Companions for Subintuitionistic Logics.:Springer, Cham،1399.

طرح‌های در حال اجرا

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

طرح‌های پایان‌یافته

1. Binary modal logic and Unary Modal Logic, پایان یافته, 2022-07-23
2. معناشناسی همسایگی دیگری برای منطق شهودی، پایان یافته، 1401/12/29

راهنمایی پایان نامه/رساله

1. استنتاج گرایی نظریه مدلی، عدم تعیین و ناسازگاری صوری، جاوید جعفری، دانشگاه تربیت مدرس، 1403/11/14، دکتری، دکتری
2. دستگاه های منطقی برای احساسات خلاف واقع، فاطمه مشهدی راویز، دانشگاه تربیت مدرس، 1404/04/08، دکتری، دکتری

سوابق تحصیلی

1. کارشناسی, ریاضی محض, دانشگاه شهید مدنی آذربایجان, 1386
2. کارشناسی ارشد, ریاضی محض, دانشگاه شهید بهشتی, 1391
3. دکتری, منطق ریاضی, دانشگاه شهید بهشتی, 1395

دروس ارائه شده

1. منطق تخصصی, نامشخص, 1381-82
2. منطق تخصصی, نامشخص, 1381-82

زمینه پژوهشی مورد علاقه

1. منطق شهودی
2. منطق‌های زیرشهودی
3. منطق وجهی
4. منطق کلاسیک

زبان خارجی

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