A Generalization of Inquisitive Semantics

0460804 - FLÚ 2017 RIV NL eng J - Článek v odborném periodiku
Punčochář, Vít
A Generalization of Inquisitive Semantics.
Journal of Philosophical Logic. Roč. 45, č. 4 (2016), s. 399-428. ISSN 0022-3611
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: Intuitionistic logic * Superintuitionistic logics * Inquisitive logic * Topological semantics * Kripke semantics * Disjunction
Kód oboru RIV: AA - Filosofie a náboženství

This paper introduces a generalized version of inquisitive semantics, denoted as GIS, and concentrates especially on the role of disjunction in this general framework. Two alternative semantic conditions for disjunction are compared: the first one corresponds to the so-called tensor operator of dependence logic, and the second one is the standard condition for inquisitive disjunction. It is shown that GIS is intimately related to intuitionistic logic and its Kripke semantics. Using this framework, it is shown that the main results concerning inquisitive semantics, especially the axiomatization of inquisitive logic, can be viewed as particular cases of more general phenomena. In this connection, a class of non-standard superintuitionistic logics is introduced and studied. These logics share many interesting features with inquisitive logic, which is the strongest logic of this class.
Trvalý link: http://hdl.handle.net/11104/0260798