Pages that link to "Item:Q1956378"

The following pages link to Complexity results for modal dependence logic (Q1956378):

Displaying 26 items.

• Propositional logics of dependence (Q278765) (← links)
• Dependence logic with a majority quantifier (Q302214) (← links)
• Structural completeness in propositional logics of dependence (Q334998) (← links)
• Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
• Complexity of validity for propositional dependence logics (Q515658) (← links)
• Propositional team logics (Q526967) (← 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)
• Coherence and computational complexity of quantifier-free dependence logic formulas (Q1956380) (← links)
• A parameterized view on the complexity of dependence logic (Q2151403) (← links)
• Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
• Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
• On the relative complexity of labelled modal tableaux (Q2843911) (← links)
• Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
• Inf-datalog, Modal Logic and Complexities (Q3549285) (← links)
• Complexity Results for Modal Dependence Logic (Q3586056) (← links)
• Model-theoretic and Computational Properties of Modal Dependence Logic (Q3656769) (← links)
• (Q4364506) (← links)
• LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
• The expressive power of modal logic with inclusion atoms (Q5013883) (← links)
• Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)
• Modal dependence logics: axiomatizations and model-theoretic properties (Q5095630) (← links)
• Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
• Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data (Q5213646) (← links)
• (Q5376655) (← links)
• Parameterised complexity of model checking and satisfiability in propositional dependence logic (Q5918486) (← links)