-
1.
Writer : شیرمحمدزاده ملکی، فاطمه ؛
Journal:منطق پژوهی»بهار و تابستان 1399، سال یازدهم - شماره 1 Ranking ب (Ministry of Science/ISC (18 page(s) - From 133 to 150 )
Keywords:منطق شهودیمنطق زیرشهودیمعناشناسی کریپکیمعناشناسی توپولوژیکیمعناشناسی همسایگیIntuitionistic logicSubintuitionistic logicKripke semanticsTopological semanticsNeighbourhood semantics
-
2.
Writer : شیرمحمدزاده ملکی، فاطمه ؛
Journal:منطق پژوهی»پاییز و زمستان 1400، سال دوازدهم - شماره 2 Ranking ب (Ministry of Science/ISC (23 page(s) - From 151 to 173 )
Keywords:منطق زیرشهودیمنطق وجهی غیر نرمالمنطق وجهی دوموضعیهمتای وجهیمعناشناسی همسایگیSubintuitionistic logicNon Normal Modal LogicBinary Modal Logicمنطققابشهودیهمسایگیمنطـق
-
3.
Writer : شیرمحمدزاده ملکی، فاطمه ؛
Journal:منطق پژوهی»بهار و تابستان 1402، سال چهاردهم - شماره 1 Ranking ب (Ministry of Science/ISC (14 page(s) - From 89 to 102 )
Keywords:تمامیتمنطق وجهی نرمالمنطق وجهی نرمال دوموضعیمعناشناسی کریپکی دوموضعیتعبیر پایدارمعناشناسی کریپکیKripke semanticsNormal modal logicBinary normal modal logicBinary Kripke semanticsFaithful interpretationcompleteness