The expressive power of k-ary exclusion logic
DOI10.1016/J.APAL.2019.04.008zbMATH Open1477.03104OpenAlexW2940074054WikidataQ128117064 ScholiaQ128117064MaRDI QIDQ2273014FDOQ2273014
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
Recommendations
team semanticsdependence logicexpressive powerexclusion logicinclusion logicexistential second order logic
Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Higher-order logic (03B16) Second- and higher-order model theory (03C85)
Cites Work
- Dependence and independence
- Title not available (Why is that?)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Compositional semantics for a language of imperfect information
- Title not available (Why is that?)
- \(\Sigma_ 1^ 1\)-formulae on finite structures
- Independence in Database Relations
- QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES
- On definability in dependence logic
- Hierarchies in independence logic
- Title not available (Why is that?)
- A restricted second order logic for finite structures
- Hierarchies in Dependence Logic
- Hierarchies in independence and inclusion logic with strict semantics
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
- Hierarchies in Inclusion Logic with Lax Semantics
- Model Checking and Validity in Propositional and Modal Inclusion Logics
- The Expressive Power of k-ary Exclusion Logic
Cited In (2)
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)
