keyword justification logic ‎/ (4 Article)

Corresponding Author : نبوی، فاطمه سادات ؛ Writer : کامکار، حسین ؛ آیت‌اللهی، زینت ؛ شهبازی، علیرضا ؛

Journal:منطق پژوهی»پاییز و زمستان 1402، سال چهاردهم - شماره 2 Ranking: ب/ISC (‎21 page(s) - From 205 to 225 )

Keywords:صوری‌سازی اصول فقهمنطق Count Asمنطق غیریکنوامنطق توجیهاماراتاصول عملیهnonOsuljustification logicAlFormal representation of principles of Islamic legal reasoningCount As logicMonotonic logicAmaaratAmaliyyah

Writer : مجلسی کوپائی، فاطمه ؛ Corresponding Author : قاری، مهرداد ؛

Journal:منطق پژوهی»بهار و تابستان 1402، سال چهاردهم - شماره 1 Ranking: ب/ISC (‎17 page(s) - From 129 to 145 )

Keywords:منطق توجیهمنطق پویای گزاره‌ایخاصیت درونی سازیمدل‌های کریپکی- فیتینگقضیه تمامیتمدل‌های کانونیPropositional dynamic logicInternalization propertyKripke-Fitting modelscompleteness theoremcanonical modelsjustification logic

Writer : قاری، مقداد ؛

Journal:منطق پژوهی»بهار و تابستان 1400، سال دوازدهم - شماره 1 Ranking: ب/ISC (‎23 page(s) - From 131 to 153 )

Keywords:نقطه ثابتمنطق مسور اثبات هاپارادوکس امتحان غیر منتظرهپارادوکس دانامنطق توجیهfixed pointjustification logicQuantified logic of proofsSurprise Test ParadoxKnower Paradoxپارادوکسپارادوکس امتحان غیرمنتظرهمنطقاثباتبـاهـا

Writer : الوند، مسعود ؛

Journal:حکمت و فلسفه»پاییز 1399 - شماره 63 Ranking: ب/ISC (‎26 page(s) - From 35 to 60 )

Keywords:بستار معرفتعملگر معرفتیمنطق معرفتتوجیهمنطقدلیل قطعیدرتسکیconclusive reasonclosure of knowledgeDretskeEpistemic Operatorlogic of knowledgejustification logic