Kripke semantics for the logic of problems and propositionsстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 9 декабря 2020 г.
Аннотация:In this paper we study the propositional fragment 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 HC-models usage. In particular, we prove that HC is a conservative extension of the logic H4. We also show that the logic HC is complete with respect to Kripke frames with sets of audit worlds introduced by Artemov and Protopopescu (who called them audit set models).