Questions and dependency in intuitionistic logic

  title={Questions and dependency in intuitionistic logic},
  author={Ivano Ciardelli and Rosalie Iemhoff and F. Yang},
  journal={Notre Dame J. Formal Log.},
  • Ivano Ciardelli, Rosalie Iemhoff, F. Yang
  • Published 2020
  • Computer Science, Mathematics
  • Notre Dame J. Formal Log.
  • 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… CONTINUE READING
    4 Citations
    A Relevant Logic of Questions
    • 1
    Dependence Statements Are Strict Conditionals
    • PDF
    Logics for First-Order Team Properties
    • 2
    • PDF
    Logics for first-order team properties
    • 1


    Weak Negation in Inquisitive Semantics
    • 15
    Expressing Second-order Sentences in Intuitionistic Dependence Logic
    • F. Yang
    • Mathematics, Computer Science
    • Stud Logica
    • 2013
    • 26
    • PDF
    Dependency as Question Entailment
    • 25
    Questions as information types
    • 18
    • PDF
    Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic
    • 15
    • PDF
    A Generalization of Inquisitive Semantics
    • 11
    From IF to BI
    • 63
    Modal dependence logics: axiomatizations and model-theoretic properties
    • F. Yang
    • Computer Science, Mathematics
    • Log. J. IGPL
    • 2017
    • 9
    • PDF
    Propositional logics of dependence
    • 51
    • PDF