Complexity Results for Modal Dependence Logic

DOI10.1007/978-3-642-15205-4_32MaRDI QIDQ3586056zbMATH OpenOpenAlexFDO

Authors Peter Lohmann, Heribert Vollmer

Publication date 3 September 2010

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2010/2524/

zbMATH Keywords

computational complexitydependence logicpoor man's logicsatisfiability problem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Complexity results for modal dependence logic
• Complexity of model checking for modal dependence logic
• Model-theoretic and computational properties of modal dependence logic
• On the complexity of modal separation logics
• Complexity of validity for propositional dependence logics
• Complexity of validity for propositional dependence logics
• scientific article; zbMATH DE number 1670490
• The expressive power of modal dependence logic
• scientific article; zbMATH DE number 1612551
• Expressivity and Complexity of Dependence Logic

Cited in

(26)

• Enumeration complexity of poor man's propositional dependence logic
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
• Complexity results for modal dependence logic
• Coherence and computational complexity of quantifier-free dependence logic formulas
• A parameterized view on the complexity of dependence logic
• scientific article; zbMATH DE number 1612551 (Why is no real title available?)
• Extended modal dependence logic \(\mathcal{EMDL}\)
• Model checking for modal dependence logic: an approach through Post's lattice
• Complexity of model checking for modal dependence logic
• Inf-datalog, Modal Logic and Complexities
• Model-theoretic and computational properties of modal dependence logic
• scientific article; zbMATH DE number 1088193 (Why is no real title available?)
• Modal dependence logic
• Complexity of two-variable dependence logic and IF-logic
• Model checking for modal intuitionistic dependence logic
• Satisfiability of modal inclusion logic. Lax and strict semantics
• Complexity of validity for propositional dependence logics
• Canonical models and the complexity of modal team logic
• Modal dependence logics: axiomatizations and model-theoretic properties
• Validity and entailment in modal and propositional dependence logics
• Complexity of validity for propositional dependence logics
• Expressivity and Complexity of Dependence Logic
• Dependence logic vs. constraint satisfaction
• Modal logics with hard diamond-free fragments
• Parameterised complexity of model checking and satisfiability in propositional dependence logic
• Parameterised complexity of model checking and satisfiability in propositional dependence logic

This page was built for publication: Complexity Results for Modal Dependence Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3586056)