Dependency as Question Entailment
From MaRDI portal
Publication:5213645
DOI10.1007/978-3-319-31803-5_8zbMath1429.03112OpenAlexW2477965023MaRDI QIDQ5213645
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
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