Affiliation:
1. Математический институт им. В. А. Стеклова Российской академии наук, г. Москва
2. Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia
Abstract
Рассматривается совместная логика задач и высказываний $\mathrm{QHC}$, введенная С. А. Мелиховым. Строятся модели Крипке с отмеченными мирами этой логики, показывается корректность и полнота логики $\mathrm{QHC}$ относительно этого типа моделей. Показана консервативность логики $\mathrm{QHC}$ относительно интуиционистской модальной логики $\mathrm{QH4}$, совпадающей с "lax logic" $\mathrm{QLL}^+$. Построены модели Крипке с отмеченными мирами логики $\mathrm{QH4}$, доказана теорема о корректности и полноте. Также доказаны дизъюнктивное и экзистенциальное свойства логик $\mathrm{QHC}$ и $\mathrm{QH4}$.
Библиография: 33 названия.
Funder
Russian Science Foundation
Publisher
Steklov Mathematical Institute
Reference41 articles.
1. A Galois connection between classical and intuitionistic logics. I: Syntax;S. A. Melikhov,2013-2017
2. A Galois connection between classical and intuitionistic logics. II: Semantics;S. A. Melikhov,2015-2018
3. Семантика типа Крипке для пропозициональной логики задач и высказываний
4. Kripke semantics for the logic of problems and propositions
5. INTUITIONISTIC EPISTEMIC LOGIC
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献