Dependency as question entailment

DOI10.1007/978-3-319-31803-5_8zbMATH Open1429.03112OpenAlexW2477965023MaRDI QIDQ5213645FDOQ5213645

Authors: Ivano A. Ciardelli 

Publication date: 4 February 2020

Published in: Dependence Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-31803-5_8

Recommendations

• Question dependency in terms of compliance and erotetic implication
• Questions as information types
• Questions and dependency in intuitionistic logic
• Interrogative Dependencies and the Constructive Content of Inquisitive Proofs
• On dependence logic

zbMATH Keywords

dependence logicclassical propositional logicclassical logicclassical formulapolar question

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Dependence logic. A new approach to independence friendly logic
• Compositional semantics for a language of imperfect information
• Defaults in update semantics
• Title not available (Why is that?)
• Extended modal dependence logic \(\mathcal{EMDL}\)
• Title not available (Why is that?)
• Modal dependence logic
• The expressive power of modal dependence logic
• Inquisitive logic
• From IF to BI. A tale of dependence and separation
• Towards a suppositional inquisitive semantics
• Inquisitive Semantics: Two Possibilities for Disjunction
• Title not available (Why is that?)
• Algebraic foundations for the semantic treatment of inquisitive content
• A first-order inquisitive semantics
• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume II
• Dynamic predicate logic
• Towards a Logic of Information Exchange
• On the semantics and logic of declaratives and interrogatives
• Multiverse set theory and absolutely undecidable propositions
• Title not available (Why is that?)
• Interrogative Dependencies and the Constructive Content of Inquisitive Proofs

Cited In (21)

• A relevant logic of questions
• INQUISITIVE BISIMULATION
• Propositional logics of dependence
• Counting of Teams in First-Order Team Logics
• Questions as information types
• Explicating logical independence
• Propositional union closed team logics
• On intermediate inquisitive and dependence logics: an algebraic study
• Questions and dependency in intuitionistic logic
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
• Intermediate logics in the setting of team semantics
• Esakia duals of regular Heyting algebras
• A simple logic of functional dependence
• Structural completeness in propositional logics of dependence
• Bisimulation in inquisitive modal logic
• Logics for propositional determinacy and independence
• Inquisitive logic as an epistemic logic of knowing how
• Supervenience, dependence, disjunction
• AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
• Coherence in inquisitive first-order logic
• SUBSTRUCTURAL INQUISITIVE LOGICS

This page was built for publication: Dependency as question entailment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213645)