RO  EN
IMI/Publicaţii/CSJM/Ediţii/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.

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.

ILLC, University of Amsterdam
E-mail:

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

Fulltext

Adobe PDF document0.13 Mb