-
Scientific and research based articles
-
• 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, and Dick de Jongh. "Binary Modal Logic and Unary Modal Logic." Logic Journal of the IGPL (2023): .
-
• Shirmohammadzadeh Maleki, Fatemeh. "Algebraic semantics for weak subintuitionistic logic WF." Archive for Mathematical Logic (2025): .
-
-
Presented Papers in Conferences
-
• 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
-
-
Designing and holding a meeting/summer school/workshop
-
• 2022-11-29, 2022-11-29
-
-
Participation in conference/seminar/workshop (company/presentation/collaboration)
-
• دهمین همایش سالیانه انجمن منطق ایران, شركت كننده, Iran, Tehran, 2023-02-22, 2023-02-23
-
• 14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), ارائه سخنرانی, Georgia, Tbilisi, 2023-09-18, 2023-09-22
-
-
Conference
-
• 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
-
• Shirmohammadzadeh Maleki Fatemeh, همتاهای وجهی برای برخی منطق های زیرشهودی, نشستی تخصصی با عنوان "همتاهای وجهی برای برخی منطق های زیرشهودی", professional meeting, 2022-11-29, 2022-11-29
-
• 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
-
• Shirmohammadzadeh Maleki Fatemeh, بررسی قطعاتی از برخی منطق های زیر شهودی, دوازدهمین همایش سالانه انجمن منطق ایران, 2025-02-22, 2025-02-23
-
• Shirmohammadzadeh Maleki Fatemeh, نشستی تخصصی با عنوان "همتاهای وجهی برای برخی منطق های زیرشهودی", نشستی تخصصی با عنوان "همتاهای وجهی برای برخی منطق های زیرشهودی", 2022-11-29, 2022-11-29
-
-
A Chapter of a Book
-
• Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. Subintuitionistic Logics with Kripke Semantics.Berlin:Springer, Berlin, Heidelberg,2017.
-
• Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. Two Neighborhood Semantics for Subintuitionistic Logics.Berlin:Springer, Berlin, Heidelberg,2019.
-
• Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. Binary Modal Companions for Subintuitionistic Logics.:Springer, Cham,2021.
-
-
Conducted Researches
-
• Binary modal logic and Unary Modal Logic, پایان یافته, 2022-07-23
-
-
Education
-
• B.Sc, Pure Mathematics, University of Shahid Madani Tabriz, Iran, 2007
-
• M.Sc, Pure Mathematics, Shahid Beheshti University, 2012
-
• Ph.D, Mathematical Logic, Shahid Beheshti University, 2016
-
-
Offered Courses
-
• منطق تخصصی, نامشخص, 1381-82
-
• منطق تخصصی, نامشخص, 1381-82
-
-
Research Interest
-
• Intuitionistic Logic
-
• Subintuitionistic Logics
-
• Modal Logic
-
• Classical Logic
-
-
Foreign language
-
• English, writing level : Intermediate, reading level : Advanced, speaking level : Intermediate
-