On definability in dependence logic
From MaRDI portal
Publication:735407
DOI10.1007/s10849-009-9082-0zbMath1182.03063OpenAlexW2007760364MaRDI QIDQ735407
Publication date: 21 October 2009
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-009-9082-0
Related Items (42)
Dependence logic with generalized quantifiers: axiomatizations ⋮ Propositional logics of dependence ⋮ Propositional union closed team logics ⋮ Dependence logic with a majority quantifier ⋮ Coherence in inquisitive first-order logic ⋮ Separation logic and logics with team semantics ⋮ Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence ⋮ On the Presburger fragment of logics with multiteam semantics ⋮ On definability of team relations with \(k\)-invariant atoms ⋮ Enumerating teams in first-order team logics ⋮ Model-checking games for logics of imperfect information ⋮ Alternating (in)dependence-friendly logic ⋮ Modified numerals and split disjunction: the first-order case ⋮ Erratum to: ``On definability in dependence logic ⋮ General models and entailment semantics for independence logic ⋮ Dependence and independence ⋮ Expressing second-order sentences in intuitionistic dependence logic ⋮ Epistemic operators in dependence logic ⋮ Expressivity of imperfect information logics without identity ⋮ Coherence and computational complexity of quantifier-free dependence logic formulas ⋮ Editorial introduction to the special issue: Dependence and independence in logic ⋮ Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information ⋮ Transition semantics: the dynamics of dependence logic ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ Characterizing quantifier extensions of dependence logic ⋮ Generalized quantifiers in dependence logic ⋮ The expressive power of \(k\)-ary exclusion logic ⋮ Negation and partial axiomatizations of dependence and independence logic revisited ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES ⋮ Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals ⋮ Expressivity and Complexity of Dependence Logic ⋮ Games for Inclusion Logic and Fixed-Point Logic ⋮ Dependence and Independence in Social Choice: Arrow’s Theorem ⋮ Dependency Concepts up to Equivalence. ⋮ The Expressive Power of k-ary Exclusion Logic ⋮ Team Logic and Second-Order Logic ⋮ Counting of Teams in First-Order Team Logics ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION ⋮ On Dependence Logic ⋮ Unnamed Item
Cites Work
This page was built for publication: On definability in dependence logic
