keyword completeness theorem / (1 Article)
- Sort by
- Date
-
1.
گسترشی از منطق اثبات‌ها با عمل‌ها
Journal ArticleWriter : مجلسی کوپائی، فاطمه ؛ 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 modelsInternalization propertyjustification logicKripke-Fitting modelsPropositional dynamic logicخاصیت درونی سازیقضیه تمامیتمدل‌های کانونی
Article publication trend
Scientific rank
- ب (1 Article)