keyword Provability Logic / (1 Article)
- Sort by
- Date
-
1.
Writer : نبوی، لطفاله ؛ Corresponding Author : میرصانعی، سید احمد ؛
Journal:اندیشه فلسفی»پاییز 1400 - شماره 4 Ranking: ب (26 page(s) - From 314 to 339 )
Keywords:منطقهای اثباتپذیریسیستم اصل موضوعیحساب رشتهایسمانتیک جهان ممکنیفراقضایامنطق موجهاتModal logicAxiomatic SystemProof TheoryProvability LogicPossible World SemanticsMeta-Theorems
| Journal (Article count) |
|---|
| Journal اندیشه فلسفی 1 |
Related keywords
Axiomatic SystemMeta-TheoremsModal logicProof Theoryحساب رشتهایسمانتیک جهان ممکنیسیستم اصل موضوعیفراقضایامنطق موجهات
Article publication trend
Scientific rank
- ب (1 Article)