The following pages link to On definability in dependence logic (Q735407):
Displaying 42 items.
- Propositional logics of dependence (Q278765) (← links)
- Dependence logic with a majority quantifier (Q302214) (← links)
- Model-checking games for logics of imperfect information (Q391101) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- General models and entailment semantics for independence logic (Q1949170) (← links)
- Dependence and independence (Q1956372) (← links)
- Expressing second-order sentences in intuitionistic dependence logic (Q1956373) (← links)
- Epistemic operators in dependence logic (Q1956375) (← links)
- Expressivity of imperfect information logics without identity (Q1956377) (← links)
- Coherence and computational complexity of quantifier-free dependence logic formulas (Q1956380) (← links)
- Editorial introduction to the special issue: Dependence and independence in logic (Q1956382) (← links)
- Propositional union closed team logics (Q2131275) (← links)
- Coherence in inquisitive first-order logic (Q2159932) (← links)
- Separation logic and logics with team semantics (Q2172820) (← links)
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence (Q2172822) (← links)
- On the Presburger fragment of logics with multiteam semantics (Q2172824) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- Enumerating teams in first-order team logics (Q2172832) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- The expressive power of \(k\)-ary exclusion logic (Q2273014) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Dependence logic with generalized quantifiers: axiomatizations (Q2361348) (← links)
- Erratum to: ``On definability in dependence logic'' (Q2429991) (← links)
- DEPENDENCE LOGIC IN PREGEOMETRIES AND <i>ω</i>-STABLE THEORIES (Q2805022) (← links)
- The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- Characterizing quantifier extensions of dependence logic (Q4916562) (← links)
- Dependency Concepts up to Equivalence. (Q5079749) (← links)
- Counting of Teams in First-Order Team Logics (Q5092378) (← links)
- (Q5155675) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Games for Inclusion Logic and Fixed-Point Logic (Q5213642) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION (Q5241230) (← links)
- On Dependence Logic (Q5249667) (← links)
- Team Logic and Second-Order Logic (Q5902156) (← 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)
- Alternating (in)dependence-friendly logic (Q6076360) (← links)
- Modified numerals and split disjunction: the first-order case (Q6078201) (← links)
