keyword justification logic / (4 Article)
- Sort by
- Date
-
1.
Corresponding Author : نبوی، فاطمه سادات ؛ Writer : کامکار، حسین ؛ آیتاللهی، زینت ؛ شهبازی، علیرضا ؛
Journal:منطق پژوهی»پاییز و زمستان 1402، سال چهاردهم - شماره 2 Ranking ب (Ministry of Science/ISC (21 page(s) - From 205 to 225 )
Keywords:صوریسازی اصول فقهمنطق Count Asمنطق غیریکنوامنطق توجیهاماراتاصول عملیهnonOsuljustification logicAlFormal representation of principles of Islamic legal reasoningCount As logicMonotonic logicAmaaratAmaliyyah
-
2.
Writer : مجلسی کوپائی، فاطمه ؛ Corresponding Author : قاری، مهرداد ؛
Journal:منطق پژوهی»بهار و تابستان 1402، سال چهاردهم - شماره 1 Ranking ب (Ministry of Science/ISC (17 page(s) - From 129 to 145 )
Keywords:منطق توجیهمنطق پویای گزارهایخاصیت درونی سازیمدلهای کریپکی- فیتینگقضیه تمامیتمدلهای کانونیPropositional dynamic logicInternalization propertyKripke-Fitting modelscompleteness theoremcanonical modelsjustification logic
-
3.
Writer : قاری، مقداد ؛
Journal:منطق پژوهی»بهار و تابستان 1400، سال دوازدهم - شماره 1 Ranking ب (Ministry of Science/ISC (23 page(s) - From 131 to 153 )
Keywords:نقطه ثابتمنطق مسور اثبات هاپارادوکس امتحان غیر منتظرهپارادوکس دانامنطق توجیهfixed pointjustification logicQuantified logic of proofsSurprise Test ParadoxKnower Paradoxپارادوکسپارادوکس امتحان غیرمنتظرهمنطقاثباتبـاهـا
-
4.
Writer : الوند، مسعود ؛
Journal:حکمت و فلسفه»پاییز 1399 - شماره 63 Ranking ب (Ministry of Science/ISC (26 page(s) - From 35 to 60 )
Keywords:بستار معرفتعملگر معرفتیمنطق معرفتتوجیهمنطقدلیل قطعیدرتسکیconclusive reasonclosure of knowledgeDretskeEpistemic Operatorlogic of knowledgejustification logic