Pages that link to "Item:Q302243"
From MaRDI portal
The following pages link to A double team semantics for generalized quantifiers (Q302243):
Displaying 20 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic (Q1693039) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- On the complexity of linear temporal logic with team semantics (Q2193280) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- (Q3384878) (← 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)
- (Q5015279) (← links)
- (Q5020523) (← links)
- Counting of Teams in First-Order Team Logics (Q5092378) (← 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)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Alternating (in)dependence-friendly logic (Q6076360) (← links)
