کلمة المفتاح Binary normal modal logic / (1 مقالة)
- الترتيب
- تأريخ
-
-
1.
منطق وجهی نرمال دوموضعی
مقالةمؤلف : شیرمحمدزاده ملکی، فاطمه ؛
مجلة:منطق پژوهی»بهار و تابستان 1402، سال چهاردهم - شماره 1 التصنيف: ب/ISC (14 صفحة - من 89 إلی 102 )
الکلمات المفتاحية:تمامیتمعناشناسی کریپکیمنطق وجهی نرمالمنطق وجهی نرمال دوموضعیمعناشناسی کریپکی دوموضعیتعبیر پایدارcompletenessKripke semanticsNormal modal logicBinary normal modal logicBinary Kripke semanticsFaithful interpretation
| لغة | |
|---|---|
| Persian | 1 |
| مجلة (عدد المقال) | |
|---|---|
| مجلة منطق پژوهی | 1 |
کلمات المفتاح ذات الصلة
مسار نشر المقال
الرتبة العلمية
- ب (1 مقالة)