Inquisitive Logic

被引：85
|
作者：
Ciardelli, Ivano [1 ]
Roelofsen, Floris [1 ]
机构：
[1] Univ Amsterdam, Inst Log Language & Computat, NL-1098 XH Amsterdam, Netherlands
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 2011年 / 40卷 / 01期
关键词：
Inquisitive semantics; Inquisitive logic; Intuitionistic logic; Intermediate logics; Medvedev logic; INTUITIONISTIC LOGIC;
D O I：
10.1007/s10992-010-9142-6
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
This paper investigates a generalized version of inquisitive semantics. A complete axiomatization of the associated logic is established, the connection with intuitionistic logic and several intermediate logics is explored, and the generalized version of inquisitive semantics is argued to have certain advantages over the system that was originally proposed by Groenendijk (2009) and Mascarenhas (2009).
引用
收藏
页码：55 / 94
页数：40
相关论文
共 50 条
  • [1] Inquisitive Logic
    Ivano Ciardelli
    Floris Roelofsen
    Journal of Philosophical Logic, 2011, 40 : 55 - 94
  • [2] Inquisitive Propositional Dynamic Logic
    Vít Punčochář
    Igor Sedlár
    Journal of Logic, Language and Information, 2021, 30 : 91 - 116
  • [3] Propositional inquisitive logic: a survey
    Ciardelli, Ivano
    COMPUTER SCIENCE JOURNAL OF MOLDOVA, 2016, 24 (03) : 295 - 311
  • [4] Action models in inquisitive logic
    van Gessel, Thom
    SYNTHESE, 2020, 197 (09) : 3905 - 3945
  • [5] Inquisitive logic as an epistemic logic of knowing how
    Wang, Haoyu
    Wang, Yanjing
    Wang, Yunsong
    ANNALS OF PURE AND APPLIED LOGIC, 2022, 173 (10)
  • [6] Inquisitive Propositional Dynamic Logic
    Puncochar, Vit
    Sedlar, Igor
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2021, 30 (01) : 91 - 116
  • [7] Inquisitive dynamic epistemic logic
    Ivano A. Ciardelli
    Floris Roelofsen
    Synthese, 2015, 192 : 1643 - 1687
  • [8] Action models in inquisitive logic
    Thom van Gessel
    Synthese, 2020, 197 : 3905 - 3945
  • [9] Bisimulation in Inquisitive Modal Logic
    Ciardelli, Ivano
    Otto, Martin
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (251): : 151 - 166
  • [10] Inquisitive dynamic epistemic logic
    Ciardelli, Ivano A.
    Roelofsen, Floris
    SYNTHESE, 2015, 192 (06) : 1643 - 1687
12345