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