Dependency as question entailment

DOI10.1007/978-3-319-31803-5_8MaRDI QIDQ5213645zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

Cited in

(21)

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

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)