Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 61, Number 1 (2020), 75-115.
Questions and Dependency in Intuitionistic Logic
In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team semantics, where teams are embedded within intuitionistic Kripke models. The associated logic is a conservative extension of intuitionistic logic with questions and dependence formulas. We establish a number of results about this logic, including a normal form result, a completeness result, and translations to classical inquisitive logic and modal dependence logic.
Notre Dame J. Formal Logic, Volume 61, Number 1 (2020), 75-115.
Received: 6 April 2017
Accepted: 24 January 2019
First available in Project Euclid: 18 December 2019
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan. Questions and Dependency in Intuitionistic Logic. Notre Dame J. Formal Logic 61 (2020), no. 1, 75--115. doi:10.1215/00294527-2019-0033. https://projecteuclid.org/euclid.ndjfl/1576638403