Translator Disclaimer
January 2020 Questions and Dependency in Intuitionistic Logic
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
Notre Dame J. Formal Logic 61(1): 75-115 (January 2020). DOI: 10.1215/00294527-2019-0033

Abstract

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.

Citation

Download Citation

Ivano Ciardelli. Rosalie Iemhoff. Fan Yang. "Questions and Dependency in Intuitionistic Logic." Notre Dame J. Formal Logic 61 (1) 75 - 115, January 2020. https://doi.org/10.1215/00294527-2019-0033

Information

Received: 6 April 2017; Accepted: 24 January 2019; Published: January 2020
First available in Project Euclid: 18 December 2019

zbMATH: 07196093
MathSciNet: MR4054246
Digital Object Identifier: 10.1215/00294527-2019-0033

Subjects:
Primary: 03B65
Secondary: 03B20, 03B60

Rights: Copyright © 2020 University of Notre Dame

JOURNAL ARTICLE
41 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.61 • No. 1 • January 2020
Back to Top