The following pages link to (Q2958528):
Displayed 32 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Propositional team logics (Q526967) (← links)
- Upwards closed dependencies in team semantics (Q897651) (← links)
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic (Q1693039) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Propositional union closed team logics (Q2131275) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- A parameterized view on the complexity of dependence logic (Q2151403) (← links)
- Enumerating teams in first-order team logics (Q2172832) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- The expressive power of \(k\)-ary exclusion logic (Q2273014) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
- (Q5013879) (← links)
- (Q5020523) (← links)
- Dependency Concepts up to Equivalence. (Q5079749) (← 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)
- On Strongly First-Order Dependencies (Q5213641) (← links)
- Games for Inclusion Logic and Fixed-Point Logic (Q5213642) (← links)
- On Dependence Logic (Q5249667) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918401) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918795) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Strongly first order, domain independent dependencies: the union-closed case (Q6160748) (← links)