Dependency as question entailment
From MaRDI portal
Publication:5213645
Recommendations
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)