Anahtar Kelimeler Binary Kripke semantics / (1 Makale)
- Sıralama
- Tarih
-
-
1.
منطق وجهی نرمال دوموضعی
مقالهنویسنده : شیرمحمدزاده ملکی، فاطمه ؛
Dergi:منطق پژوهی»بهار و تابستان 1402، سال چهاردهم - شماره 1 Derece: ب/ISC (Sayfa 14 - 89'den 102'e )
Anahtar Kelimeler:تمامیتمعناشناسی کریپکیمنطق وجهی نرمالمنطق وجهی نرمال دوموضعیمعناشناسی کریپکی دوموضعیتعبیر پایدارcompletenessKripke semanticsNormal modal logicBinary normal modal logicBinary Kripke semanticsFaithful interpretation
| Dil | |
|---|---|
| فارسی | 1 |
| Dergi (Makale Sayısı) | |
|---|---|
| نشریه منطق پژوهی | 1 |
İlgili Anahtar Kelimeler
Makale Yayın Trendi
Derece
- ب (1 Makale)