Recommendations
Cites work
- scientific article; zbMATH DE number 1086489 (Why is no real title available?)
- scientific article; zbMATH DE number 3361843 (Why is no real title available?)
- scientific article; zbMATH DE number 972408 (Why is no real title available?)
- Compositional semantics for a language of imperfect information
- Dependence logic. A new approach to independence friendly logic
- Finite partially-ordered quantification
- Some combinatorics of imperfect information
Cited in
(48)- scientific article; zbMATH DE number 3978447 (Why is no real title available?)
- Compactness in team semantics
- Uniform definability in propositional dependence logic
- The expressive power of \(k\)-ary exclusion logic
- Parameterized complexity of weighted team definability
- Separation logic and logics with team semantics
- Editorial introduction to the special issue: Dependence and independence in logic
- Expressivity of imperfect information logics without identity
- Games for inclusion logic and fixed-point logic
- Epistemic operators in dependence logic
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
- Generalized quantifiers in dependence logic
- Dynamic logics of imperfect information: from teams and games to transitions
- On dependence logic
- Dependence logic in pregeometries and \(\omega\)-stable theories
- Propositional logics of dependence
- Characterizing quantifier extensions of dependence logic
- Model-checking games for logics of imperfect information
- General models and entailment semantics for independence logic
- Expressivity and Complexity of Dependence Logic
- Expressing second-order sentences in intuitionistic dependence logic
- Coherence and computational complexity of quantifier-free dependence logic formulas
- The expressive power of \(k\)-ary exclusion logic
- Characterizing downwards closed, strongly first-order, relativizable dependencies
- Erratum to: ``On definability in dependence logic
- Dependence logic with generalized quantifiers: axiomatizations
- Alternating (in)dependence-friendly logic
- Counting of Teams in First-Order Team Logics
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
- Dependence logic with a majority quantifier
- Dependence and independence
- Team Logic and Second-Order Logic
- Enumerating teams in first-order team logics
- On definability of team relations with \(k\)-invariant atoms
- On the Presburger fragment of logics with multiteam semantics
- Propositional union closed team logics
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
- Dependence and Independence in Social Choice: Arrow’s Theorem
- Modified numerals and split disjunction: the first-order case
- Coherence in inquisitive first-order logic
- scientific article; zbMATH DE number 7407786 (Why is no real title available?)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Definable deduction relation
- Dependence logic. A new approach to independence friendly logic
- A remark on negation in dependence logic
- Dependency Concepts up to Equivalence.
This page was built for publication: On definability in dependence logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q735407)
