Topological Models of Propositional Logic of Problems and Propositions
Anastasiya Aleksandrovna Onoprienko · Moscow University Mathematics Bulletin · 2022
Abstract The propositional fragment HC of the joint logic of problems and propositions introduced by Melikhov is considered. Topological models of this logic are constructed and the completeness of the logic HC with respect to this type of models is shown. Topological models of the logic H4 introduced by Artemov and Protopopescu are also constructed.