Complexity of validity for propositional dependence logics
DOI10.1016/J.IC.2016.07.008zbMATH Open1362.68114OpenAlexW2963866037MaRDI QIDQ515658FDOQ515658
Authors: Jonni Virtema 
Publication date: 16 March 2017
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2016.07.008
Recommendations
Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)
Cites Work
- Dependence and independence
- Dependence logic. A new approach to independence friendly logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Modal logic
- Compositional semantics for a language of imperfect information
- Propositional dynamic logic of regular programs
- The complexity of theorem-proving procedures
- Complexity results for modal dependence logic
- Extended modal dependence logic \(\mathcal{EMDL}\)
- Complexity of model checking for modal dependence logic
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Title not available (Why is that?)
- Modal dependence logic
- The expressive power of modal dependence logic
- Model checking for modal intuitionistic dependence logic
- Lower bounds for multiplayer noncooperative games of incomplete information
- Model-theoretic and computational properties of modal dependence logic
- A remark on negation in dependence logic
- The Computational Complexity of Provability in Systems of Modal Propositional Logic
- Models and quantifier elimination for quantified Horn formulas
- Model checking for modal dependence logic: an approach through Post's lattice
- Complexity of Propositional Independence and Inclusion Logic
- Modal independence logic
- Complexity of validity for propositional dependence logics
- A Van Benthem Theorem for Modal Team Semantics
- Dependency Quantified Horn Formulas: Models and Complexity
Cited In (19)
- Expressivity and Complexity of Dependence Logic
- Parameterised complexity of model checking and satisfiability in propositional dependence logic
- Complexity of validity for propositional dependence logics
- Computer Science Logic
- Complexity Results for Modal Dependence Logic
- Boolean dependence logic and partially-ordered connectives
- A parameterized view on the complexity of dependence logic
- Axiomatizing propositional dependence logics
- Complexity results for modal dependence logic
- Parameterized complexity of propositional inclusion and independence logic
- Complexity thresholds in inclusion logic
- On the succinctness of atoms of dependency
- Coherence and computational complexity of quantifier-free dependence logic formulas
- A fragment of dependence logic capturing polynomial time
- Validity and entailment in modal and propositional dependence logics
- Title not available (Why is that?)
- Complexity of validity for propositional dependence logics
- Team semantics for the specification and verification of hyperproperties
- On quantified propositional logics and the exponential time hierarchy
This page was built for publication: Complexity of validity for propositional dependence logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q515658)
