Informational semantics for superintuitionistic modal logics

0508254 - ÚI 2020 CH eng A - Abstrakt
Punčochář, Vít - Sedlár, Igor
Informational semantics for superintuitionistic modal logics.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 95-99.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Institucionální podpora: RVO:67985807
Klíčová slova: Intuitionistic modal logic * neighborhood semantics * information models * information states
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf

In this paper we present a non-standard semantic framework that generalizes Kripke semantics in two directions: (i) it allows for weakening of some laws for “normal” modalities and (ii) it allows to weaken the background non-modal propositional logic to intuitionistic logic. In other words, the framework can be seen as a novel semantics for superintuitionistic non-normal modal logics. A peculiar feature of the framework is that not only diamond but also box is captured as an existential modality. We will show how this framework incorporates standard neighborhood semantics and indicate that it incorporates in a similar sense Boˇzi´c and Doˇsen’s semantics for normal intuitionistic modal logics.
Trvalý link: http://hdl.handle.net/11104/0299215