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)- Expressivity and Complexity of Dependence Logic
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
- Dependence logic. A new approach to independence friendly logic
- Dependence and independence
- Propositional logics of dependence
- Counting of Teams in First-Order Team Logics
- Games for inclusion logic and fixed-point logic
- Compactness in team semantics
- Definable deduction relation
- Characterizing quantifier extensions of dependence logic
- Propositional union closed team logics
- Separation logic and logics with team semantics
- Dependence logic with a majority quantifier
- Model-checking games for logics of imperfect information
- Characterizing downwards closed, strongly first-order, relativizable dependencies
- Dependence logic in pregeometries and \(\omega\)-stable theories
- Dependence logic with generalized quantifiers: axiomatizations
- Dependency Concepts up to Equivalence.
- Uniform definability in propositional dependence logic
- The expressive power of \(k\)-ary exclusion logic
- scientific article; zbMATH DE number 3978447 (Why is no real title available?)
- Parameterized complexity of weighted team definability
- Epistemic operators in dependence logic
- General models and entailment semantics for independence logic
- Expressing second-order sentences in intuitionistic dependence logic
- scientific article; zbMATH DE number 7407786 (Why is no real title available?)
- The expressive power of \(k\)-ary exclusion logic
- Dependence and Independence in Social Choice: Arrow’s Theorem
- Modified numerals and split disjunction: the first-order case
- A remark on negation in dependence 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
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
- Team Logic and Second-Order Logic
- Erratum to: ``On definability in dependence logic
- Editorial introduction to the special issue: Dependence and independence in logic
- Expressivity of imperfect information logics without identity
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
- Coherence and computational complexity of quantifier-free dependence logic formulas
- Generalized quantifiers in dependence logic
- On dependence logic
- Coherence in inquisitive first-order logic
- Alternating (in)dependence-friendly logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Dynamic logics of imperfect information: from teams and games to transitions
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)
