کلمة المفتاح Kripke-Fitting models / (1 مقالة)
- الترتيب
- تأريخ
-
1.
مؤلف : مجلسی کوپائی، فاطمه ؛ كاتب مسؤول : قاری، مهرداد ؛
مجلة:منطق پژوهی»بهار و تابستان 1402، سال چهاردهم - شماره 1 ، ب (Ministry of Science/ISC (17 صفحة - من 129 إلی 145 )
الکلمات المفتاحية:منطق پویای گزارهایخاصیت درونی سازیمدلهای کریپکی- فیتینگقضیه تمامیتمدلهای کانونیمنطق توجیه
| مجلة (عدد المقال) |
|---|
| مجلة منطق پژوهی 1 |
کلمات المفتاح ذات الصلة
مسار نشر المقال
الرتبة العلمية
- ب (1 مقالة)