The expressive power of k-ary exclusion logic

DOI10.1016/J.APAL.2019.04.008MaRDI QIDQ2273014zbMATHOpenAlexWikidataFDO

Authors Raine Rönnholm

Publication date 18 September 2019

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.2019.04.008

zbMATH Keywords

team semanticsdependence logicexpressive powerexclusion logicinclusion logicexistential second order logic

Mathematics Subject Classification ID

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

Recommendations

• The expressive power of \(k\)-ary exclusion logic
• Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
• Hierarchies in independence logic

Cites work

• scientific article; zbMATH DE number 6680142 (Why is no real title available?)
• scientific article; zbMATH DE number 4118333 (Why is no real title available?)
• A restricted second order logic for finite structures
• Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
• Compositional semantics for a language of imperfect information
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Hierarchies in Dependence Logic
• Hierarchies in independence and inclusion logic with strict semantics
• Hierarchies in independence logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Independence in database relations
• Model checking and validity in propositional and modal inclusion logics
• On definability in dependence logic
• Quantum team logic and Bell's inequalities
• The expressive power of \(k\)-ary exclusion logic
• \(\Sigma_ 1^ 1\)-formulae on finite structures

Cited in

(5)

• Hierarchies in independence logic
• Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
• Doubly strongly first order dependencies
• The expressive power of \(k\)-ary exclusion logic
• On definability of team relations with \(k\)-invariant atoms

This page was built for publication: The expressive power of \(k\)-ary exclusion logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2273014)