The Expressive Power of k-ary Exclusion Logic

DOI10.1007/978-3-662-52921-8_23zbMath1477.03102arXiv1605.01686OpenAlexW2963328441MaRDI QIDQ2820708

Raine Rönnholm

Publication date: 9 September 2016

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1605.01686

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Higher-order logic (03B16)

Related Items (2)

The expressive power of \(k\)-ary exclusion logic ⋮ The Expressive Power of k-ary Exclusion Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic
• \(\Sigma_ 1^ 1\)-formulae on finite structures
• A restricted second order logic for finite structures
• Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
• Dependence and independence
• The Expressive Power of k-ary Exclusion Logic
• Independence in Database Relations
• Hierarchies in Inclusion Logic with Lax Semantics
• Hierarchies in Dependence Logic
• Hierarchies in independence logic
• QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES
• Compositional semantics for a language of imperfect information
• Hierarchies in independence and inclusion logic with strict semantics

This page was built for publication: The Expressive Power of k-ary Exclusion Logic