keyword completeness / (1 Article)
- Sort by
- Date
- Journal منطق پژوهی 1
-
1.
Writer : شیرمحمدزاده ملکی، فاطمه ؛
Journal:منطق پژوهی»بهار و تابستان 1402، سال چهاردهم - شماره 1 Ranking ب (Ministry of Science/ISC (14 page(s) - From 89 to 102 )
Keywords:منطق وجهی نرمالمنطق وجهی نرمال دوموضعیمعناشناسی کریپکی دوموضعیتعبیر پایدارتمامیتمعناشناسی کریپکیKripke semanticscompletenessNormal modal logicBinary normal modal logicBinary Kripke semanticsFaithful interpretation