Pages that link to "Item:Q2255198"
From MaRDI portal
The following pages link to Generalized quantifiers in dependence logic (Q2255198):
Displaying 23 items.
- Dependence logic with a majority quantifier (Q302214) (← links)
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Upwards closed dependencies in team semantics (Q897651) (← links)
- General models and entailment semantics for independence logic (Q1949170) (← links)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Characterizing counterfactuals and dependencies over (generalized) causal teams (Q2080697) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- Embedding causal team languages into predicate logic (Q2172831) (← links)
- Dependence logic with generalized quantifiers: axiomatizations (Q2361348) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- (Q3384878) (← links)
- Frame Theory, Dependence Logic and Strategies (Q3455191) (← links)
- Characterizing quantifier extensions of dependence logic (Q4916562) (← links)
- (Q5020523) (← links)
- Dependency Concepts up to Equivalence. (Q5079749) (← links)
- DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS (Q5177884) (← 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)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION (Q5241230) (← links)
