keyword Quantified logic of proofs / (1 Article)
- Sort by
- Date
-
1.
Writer : قاری، مقداد ؛
Journal:منطق پژوهی»بهار و تابستان 1400، سال دوازدهم - شماره 1 Ranking: ب/ISC (23 page(s) - From 131 to 153 )
Keywords:نقطه ثابتمنطق مسور اثبات هاپارادوکس امتحان غیر منتظرهپارادوکس دانامنطق توجیهfixed pointjustification logicQuantified logic of proofsSurprise Test ParadoxKnower Paradoxپارادوکسپارادوکس امتحان غیرمنتظرهمنطقاثباتبـاهـا
| Journal (Article count) |
|---|
| Journal منطق پژوهی 1 |
Related keywords
fixed pointjustification logicKnower ParadoxSurprise Test Paradoxپارادوکس امتحان غیر منتظرهپارادوکس دانامنطق توجیهمنطق مسور اثبات هانقطه ثابت
Article publication trend
Scientific rank
- ب (1 Article)