Propositional logics of dependence
From MaRDI portal
Abstract: In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well as propositional inquisitive logic, are expressively complete and have disjunctive or conjunctive normal forms. We provide deduction systems and prove the completeness theorems for these logics.
Recommendations
Cites work
- scientific article; zbMATH DE number 3464827 (Why is no real title available?)
- scientific article; zbMATH DE number 1086489 (Why is no real title available?)
- scientific article; zbMATH DE number 3448545 (Why is no real title available?)
- Axiomatizing first-order consequences in dependence logic
- Axiomatizing propositional dependence logics
- Complexity of model checking for modal dependence logic
- Complexity of validity for propositional dependence logics
- Complexity results for modal dependence logic
- Dependence and independence
- Dependence logic. A new approach to independence friendly logic
- Dependency as question entailment
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Expressing second-order sentences in intuitionistic dependence logic
- Extended modal dependence logic \(\mathcal{EMDL}\)
- From IF to BI. A tale of dependence and separation
- General models and entailment semantics for independence logic
- Inquisitive logic
- Lower bounds for multiplayer noncooperative games of incomplete information
- Modal dependence logic
- Model checking for modal intuitionistic dependence logic
- On definability in dependence logic
- On maximal intermediate logics with the disjunction property
- Quantum team logic and Bell's inequalities
- Some combinatorics of imperfect information
- The doxastic interpretation of team semantics
- The expressive power of modal dependence logic
Cited in
(60)- scientific article; zbMATH DE number 1946872 (Why is no real title available?)
- Expressivity and Complexity of Dependence Logic
- Diversity, dependence and independence
- Modal information logics: axiomatizations and decidability
- A Multi-type Calculus for Inquisitive Logic
- On natural deduction in dependence logic
- INQUISITIVE BISIMULATION
- Parameterised complexity of model checking and satisfiability in propositional dependence logic
- Axiomatizations for propositional and modal team logic
- The decidability of dependency in intuitionistic propositional logic
- Dependently Sorted Logic
- Propositional union closed team logics
- A finite axiomatization of conditional independence and inclusion dependencies
- On intermediate inquisitive and dependence logics: an algebraic study
- Questions and dependency in intuitionistic logic
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
- State-based modal logics for free choice
- Labelled sequent calculi for inquisitive modal logics
- Uniform definability in propositional dependence logic
- Deciding dependence in logic and algebra
- Intermediate logics in the setting of team semantics
- Team semantics for interventionist counterfactuals: observations vs. interventions
- Matching theories with evidence: a logic for demanding knowing why
- On the complexity of linear temporal logic with team semantics
- Axiomatizations of team logics
- A simple logic of functional dependence
- Complexity of Propositional Independence and Inclusion Logic
- Modal logics and local quantifiers: a zoo in the elementary hierarchy
- Esakia duals of regular Heyting algebras
- Two-dimensional Kripke semantics. II: Stability and completeness
- Approximation and dependence via multiteam semantics
- scientific article; zbMATH DE number 3978447 (Why is no real title available?)
- Structural completeness in propositional logics of dependence
- Properties of the logical consequence operation and its relationship with the independence of propositional logic
- Axiomatizing propositional dependence logics
- Dependence statements are strict conditionals
- Functional dependence in uniform dependence model
- Complexity thresholds in inclusion logic
- Bisimulation in inquisitive modal logic
- Logics for propositional determinacy and independence
- Inclusion with repetitions and Boolean constants -- implication problems revisited
- A dependent dependency calculus
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
- On the succinctness of atoms of dependency
- A formal system for propositional extended IF logic
- A logic of ``black box classifier systems
- scientific article; zbMATH DE number 810104 (Why is no real title available?)
- Iterated team semantics for a hierarchy of informational types
- Characterizing counterfactuals and dependencies over (generalized) causal teams
- Disjunction and existence properties in inquisitive first-order logic
- Propositional inquisitive logic: a survey
- Revisiting Semilattice Semantics
- Coherence in inquisitive first-order logic
- Embedding causal team languages into predicate logic
- scientific article; zbMATH DE number 589741 (Why is no real title available?)
- scientific article; zbMATH DE number 7056228 (Why is no real title available?)
- Conditional independence in propositional logic.
- Learning by intervention in simple causal domains
- Consistency-sensitive epistemic modalities in information-based semantics
- Propositional team logics
This page was built for publication: Propositional logics of dependence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q278765)
