IMCS/Publications/CSJM/Issues/CSJM v.24, n.3 (72), 2016/

Propositional inquisitive logic: a survey

Authors: Ivano Ciardelli
Keywords: questions, inquisitive logic, dependency, intermediate logics, proofs-as-programs.


This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and dependence logic, and describe an important feature of inquisitive proofs.

ILLC, University of Amsterdam

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License


Adobe PDF document0.13 Mb