keyword Propositional dynamic logic / (1 Article)
- Sort by
- Date
-
1.
Writer : مجلسی کوپائی، فاطمه ؛ Corresponding Author : قاری، مهرداد ؛
Journal:منطق پژوهی»بهار و تابستان 1402، سال چهاردهم - شماره 1 Ranking: ب/ISC (17 page(s) - From 129 to 145 )
Keywords:منطق پویای گزارهایخاصیت درونی سازیمدلهای کریپکی- فیتینگقضیه تمامیتمدل‌های کانونیمنطق توجیهjustification logicPropositional dynamic logicInternalization propertyKripke-Fitting modelscompleteness theoremcanonical models
| Journal (Article count) |
|---|
| Journal منطق پژوهی 1 |
Related keywords
canonical modelscompleteness theoremInternalization propertyjustification logicKripke-Fitting modelsخاصیت درونی سازیقضیه تمامیتمدل‌های کانونیمدل‌های کریپکی- فیتینگ
Article publication trend
Scientific rank
- ب (1 Article)