Computer Science Journal of Moldova (Dec 2016)

Propositional inquisitive logic: a survey

  • Ivano Ciardelli

Journal volume & issue
Vol. 24, no. 3(72)
pp. 295 – 311

Abstract

Read online

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.

Keywords