Questions and Dependency in Intuitionistic Logic

Notre Dame Journal of Formal Logic 61 (1):75-115 (2020)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 83,836

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.
Questions as information types.Ivano Ciardelli - 2018 - Synthese 195 (1):321-365.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.

Analytics

Added to PP
2019-12-18

Downloads
31 (#404,212)

6 months
3 (#244,541)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

A Relevant Logic of Questions.Vít Punčochář - 2020 - Journal of Philosophical Logic 49 (5):905-939.
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.Gianluca Grilletti - 2021 - Journal of Logic, Language and Information 30 (4):725-751.
Inquisitive Heyting Algebras.Vít Punčochář - 2021 - Studia Logica 109 (5):995-1017.
Inquisitive logic as an epistemic logic of knowing how.Haoyu Wang, Yanjing Wang & Yunsong Wang - 2022 - Annals of Pure and Applied Logic 173 (10):103145.

View all 6 citations / Add more citations

References found in this work

Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.
Questions as information types.Ivano Ciardelli - 2018 - Synthese 195 (1):321-365.

View all 15 references / Add more references