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

(24)

• SUBSTRUCTURAL INQUISITIVE LOGICS
• A relevant logic of questions
• Propositional logics of dependence
• INQUISITIVE BISIMULATION
• 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
• A simple logic of functional dependence
• Esakia duals of regular Heyting algebras
• Structural completeness in propositional logics of dependence
• Bounded inquisitive logics: sequent calculi and schematic validity
• Bisimulation in inquisitive modal logic
• Inquisitive logic as an epistemic logic of knowing how
• Logics for propositional determinacy and independence
• Counting of teams in first-order team logics
• Supervenience, dependence, disjunction
• AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
• Coherence in inquisitive first-order logic
• Global supervenience in inquisitive modal logic

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)