Dependency as Question Entailment
From MaRDI portal
Publication:5213645
DOI10.1007/978-3-319-31803-5_8zbMATH Open1429.03112OpenAlexW2477965023MaRDI QIDQ5213645FDOQ5213645
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)
Cites Work
- Title not available (Why is that?)
- 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?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE
- Questions as information types
- Title not available (Why is that?)
- Explicating logical independence
- Propositional union closed team logics
- Supervenience, Dependence, Disjunction
- 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
- Inquisitive logic as an epistemic logic of knowing how
- 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)
