The following pages link to Dependence and independence (Q1956372):
Displaying 34 items.
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- (Q3384878) (← links)
- Breaking the Atom with Samson (Q4922090) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- Team semantics for the specification and verification of hyperproperties (Q5005106) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- (Q5013879) (← links)
- (Q5014443) (← links)
- (Q5020523) (← links)
- Dependency Concepts up to Equivalence. (Q5079749) (← links)
- Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)
- Counting of Teams in First-Order Team Logics (Q5092378) (← links)
- Model Checking and Validity in Propositional and Modal Inclusion Logics (Q5111246) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
- (Q5155675) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Grelling on Dependence (Q5213640) (← links)
- On Strongly First-Order Dependencies (Q5213641) (← links)
- Games for Inclusion Logic and Fixed-Point Logic (Q5213642) (← links)
- Independence in Model Theory (Q5213644) (← links)
- Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data (Q5213646) (← links)
- Context-Specific and Local Independence in Markovian Dependence Structures (Q5213647) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)
- (Q5232899) (← links)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION (Q5241230) (← links)
- On Dependence Logic (Q5249667) (← links)
- Independence logic and abstract independence relations (Q5258482) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Diversity, dependence and independence (Q5918485) (← links)
- Alternating (in)dependence-friendly logic (Q6076360) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Strongly first order, domain independent dependencies: the union-closed case (Q6160748) (← links)
