|
This article is cited in 6 scientific papers (total in 6 papers)
Kripke semantics for the logic of problems and propositions
A. A. Onoprienko Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, Moscow, Russia
Abstract:
In this paper we study the propositional fragment $\mathrm{HC}$ of the joint logic of problems and propositions introduced by Melikhov. We provide Kripke semantics for this logic and show that $\mathrm{HC}$ is complete with respect to those models and has the finite model property. We consider examples of the use of $\mathrm{HC}$-models usage. In particular, we prove that $\mathrm{HC}$ is a conservative extension of the logic $\mathrm{H4}$. We also show that the logic $\mathrm{HC}$ is complete with respect to Kripke frames with sets of audit worlds introduced by Artemov and Protopopescu (who called them audit set models).
Bibliography: 31 titles.
Keywords:
non-classical logics, Kripke semantics.
Received: 03.05.2019 and 14.01.2020
Citation:
A. A. Onoprienko, “Kripke semantics for the logic of problems and propositions”, Mat. Sb., 211:5 (2020), 98–125; Sb. Math., 211:5 (2020), 709–732
Linking options:
https://www.mathnet.ru/eng/sm9275https://doi.org/10.1070/SM9275 https://www.mathnet.ru/eng/sm/v211/i5/p98
|
Statistics & downloads: |
Abstract page: | 382 | Russian version PDF: | 191 | English version PDF: | 44 | References: | 46 | First page: | 30 |
|