-
1.
Writer : مجلسی کوپائی، فاطمه ؛ Corresponding Author : قاری، مهرداد ؛
Journal:منطق پژوهی»بهار و تابستان 1402، سال چهاردهم - شماره 1 Ranking ب (Ministry of Science/ISC (17 page(s) - From 129 to 145 )
Keywords:منطق پویای گزارهایخاصیت درونی سازیمدلهای کریپکی- فیتینگقضیه تمامیتمدلهای کانونیمنطق توجیهjustification logicPropositional dynamic logicInternalization propertyKripke-Fitting modelscompleteness theoremcanonical models