On definability of team relations with \(k\)-invariant atoms

DOI10.1016/J.APAL.2022.103136OpenAlexW4280597969MaRDI QIDQ2172825

Raine Rönnholm

Publication date: 16 September 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2022.103136

zbMATH Keywords

expressive powerteam semanticsproof techniquesarity fragmentsinclusion-exclusion logicundefinability results

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Properties of classes of models (03C52)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A double team semantics for generalized quantifiers
• Propositional team logics
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Elements of finite model theory.
• On definability in dependence logic
• Upwards closed dependencies in team semantics
• Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
• Dependence and independence
• The expressive power of \(k\)-ary exclusion logic
• Boolean dependence logic and partially-ordered connectives
• Hierarchies in Inclusion Logic with Lax Semantics
• Hierarchies in Dependence Logic
• Hierarchies in independence logic
• Compositional semantics for a language of imperfect information
• Decidability of predicate logics with team semantics
• The Expressive Power of Modal Dependence Logic
• The expressive power of modal logic with inclusion atoms
• Hierarchies in independence and inclusion logic with strict semantics

This page was built for publication: On definability of team relations with \(k\)-invariant atoms