Dependency as Question Entailment

DOI10.1007/978-3-319-31803-5_8zbMath1429.03112OpenAlexW2477965023MaRDI QIDQ5213645

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

classical propositional logicclassical logicdependence 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)

Related Items (20)

Propositional logics of dependence ⋮ A relevant logic of questions ⋮ Propositional union closed team logics ⋮ AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS ⋮ Structural completeness in propositional logics of dependence ⋮ Coherence in inquisitive first-order logic ⋮ On intermediate inquisitive and dependence logics: an algebraic study ⋮ Inquisitive logic as an epistemic logic of knowing how ⋮ Questions and dependency in intuitionistic logic ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Esakia duals of regular Heyting algebras ⋮ Questions as information types ⋮ Unnamed Item ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ A simple logic of functional dependence ⋮ LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE ⋮ Supervenience, Dependence, Disjunction ⋮ Explicating logical independence ⋮ Counting of Teams in First-Order Team Logics ⋮ INQUISITIVE BISIMULATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic foundations for the semantic treatment of inquisitive content
• On the semantics and logic of declaratives and interrogatives
• Inquisitive logic
• From IF to BI. A tale of dependence and separation
• Constructivism in mathematics. An introduction. Volume II
• Defaults in update semantics
• Extended Modal Dependence Logic $\mathcal{EMDL}$
• Interrogative Dependencies and the Constructive Content of Inquisitive Proofs
• Towards a Suppositional Inquisitive Semantics
• Inquisitive Semantics: Two Possibilities for Disjunction
• Compositional semantics for a language of imperfect information
• The Expressive Power of Modal Dependence Logic
• Towards a Logic of Information Exchange
• A First-Order Inquisitive Semantics
• Dynamic predicate logic

This page was built for publication: Dependency as Question Entailment