Pages that link to "Item:Q3586056"

The following pages link to Complexity Results for Modal Dependence Logic (Q3586056):

Displaying 15 items.

• Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
• Transition semantics: the dynamics of dependence logic (Q484952) (← links)
• Complexity of validity for propositional dependence logics (Q515658) (← links)
• Enumeration complexity of poor man's propositional dependence logic (Q1647499) (← links)
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic (Q1855229) (← links)
• Complexity results for modal dependence logic (Q1956378) (← links)
• Coherence and computational complexity of quantifier-free dependence logic formulas (Q1956380) (← links)
• A parameterized view on the complexity of dependence logic (Q2151403) (← links)
• Complexity of Model Checking for Modal Dependence Logic (Q2891371) (← links)
• Inf-datalog, Modal Logic and Complexities (Q3549285) (← links)
• Model-theoretic and Computational Properties of Modal Dependence Logic (Q3656769) (← links)
• (Q4364506) (← links)
• Satisfiability of Modal Inclusion Logic (Q4972171) (← links)
• Modal dependence logics: axiomatizations and model-theoretic properties (Q5095630) (← links)
• Expressivity and Complexity of Dependence Logic (Q5213639) (← links)