0476819 - FLÚ 2018 RIV GB eng J - Článek v odborném periodiku
Punčochář, Vít
Algebras of Information States.
Journal of Logic and Computation. Roč. 27, č. 5 (2017), s. 1643-1675. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: information states * relational semantics * algebraic semantics * intuitionistic logic * inquisitive disjunction
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.740, rok: 2017

In this article, a non-standard informational semantics for superintuitionistic modal logics is introduced and studied. It is based on algebraic structures that are interpreted as algebras of information states. The proposed semantics combines into one framework various features of standard relational and algebraic semantics. Especially, the connection to the algebraic semantics is explored in detail. The framework can be viewed as a generalization of inquisitive semantics that enables us to add inquisitive disjunction to any superintuitionistic modal propositional logic.
Trvalý link: http://hdl.handle.net/11104/0273322