Authors: Ivano Ciardelli
Keywords: questions, inquisitive logic, dependency, intermediate logics, proofs-as-programs.
Abstract
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.
Fulltext
–
0.13 Mb