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.
The paper studies propositional downward closed team logic (\(\mathsf{PT}_0\)), propositional dependence logic (\(\mathsf{PD}\)), propositional dependence logic with intuitionistic disjunction (\(\mathsf{PD}^\lor\)), propositional intuitionistic dependence logic (\(\mathsf{PID}\)), and propositional inquisitive logic (\(\mathsf{InqL}\)) are studied.NEWLINENEWLINE\(\mathsf{PD}\) and \(\mathsf{PID}\) are the propositional counterparts of known first-order logics of dependence. The sound and strongly complete deductive systems for logics \(\mathsf{PD}\), \(\mathsf{PD}^\lor\) and \(\mathsf{PID}\) have been constructed.NEWLINENEWLINEIt is proven that all of the logics \(\mathsf{PT}_0\), \(\mathsf{PD}\), \(\mathsf{PD}^\lor\), \(\mathsf{InqL}\) and \(\mathsf{PID}\) are expressively complete, expressively equivalent and compact.
Recommendations
Cites work
- 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
- 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?)
- 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
(62)- Propositional inquisitive logic: a survey
- Approximation and dependence via multiteam semantics
- Conditional independence in propositional logic.
- Team semantics for interventionist counterfactuals: observations vs. interventions
- Characterizing counterfactuals and dependencies over (generalized) causal teams
- Propositional union closed team logics
- Coherence in inquisitive first-order logic
- On intermediate inquisitive and dependence logics: an algebraic study
- Iterated team semantics for a hierarchy of informational types
- Embedding causal team languages into predicate logic
- Questions and dependency in intuitionistic logic
- On the complexity of linear temporal logic with team semantics
- A simple logic of functional dependence
- Properties of the logical consequence operation and its relationship with the independence of propositional logic
- Disjunction and existence properties in inquisitive first-order logic
- A finite axiomatization of conditional independence and inclusion dependencies
- Axiomatizations of team logics
- A Multi-type Calculus for Inquisitive Logic
- Complexity of Propositional Independence and Inclusion Logic
- A formal system for propositional extended IF logic
- Structural completeness in propositional logics of dependence
- Bisimulation in inquisitive modal logic
- Dependently Sorted Logic
- scientific article; zbMATH DE number 3978447 (Why is no real title available?)
- scientific article; zbMATH DE number 589741 (Why is no real title available?)
- scientific article; zbMATH DE number 1946872 (Why is no real title available?)
- The decidability of dependency in intuitionistic propositional logic
- scientific article; zbMATH DE number 810104 (Why is no real title available?)
- Logics for propositional determinacy and independence
- INQUISITIVE BISIMULATION
- Revisiting Semilattice Semantics
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
- On natural deduction in dependence logic
- Expressivity and Complexity of Dependence Logic
- Dependence statements are strict conditionals
- On the succinctness of atoms of dependency
- Propositional team logics
- Axiomatizations for propositional and modal team logic
- Axiomatizing propositional dependence logics
- scientific article; zbMATH DE number 7056228 (Why is no real title available?)
- Uniform definability in propositional dependence logic
- Diversity, dependence and independence
- Parameterised complexity of model checking and satisfiability in propositional dependence logic
- Complexity thresholds in inclusion logic
- A logic of ``black box classifier systems
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
- Modal information logics: axiomatizations and decidability
- A dependent dependency calculus
- Modal logics and local quantifiers: a zoo in the elementary hierarchy
- Esakia duals of regular Heyting algebras
- Learning by intervention in simple causal domains
- Deciding dependence in logic and algebra
- Intermediate logics in the setting of team semantics
- Two-dimensional Kripke semantics. II: Stability and completeness
- Functional dependence in uniform dependence model
- Inclusion with repetitions and Boolean constants -- implication problems revisited
- Consistency-sensitive epistemic modalities in information-based semantics
- State-based modal logics for free choice
- Labelled sequent calculi for inquisitive modal logics
- Matching theories with evidence: a logic for demanding knowing why
- Connecting state-based and team-based inquisitive logic
- On the expressive power of inquisitive epistemic logic
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)
