Dependency Concepts up to Equivalence.
From MaRDI portal
Publication:5079749
DOI10.4230/LIPICS.CSL.2018.25OpenAlexW2889285848MaRDI QIDQ5079749FDOQ5079749
Erich Grädel, Matthias Hoelzel
Publication date: 28 May 2022
Full work available at URL: https://doi.org/10.4230/LIPIcs.CSL.2018.25
team semanticsexistential second-order logicobservational equivalenceexpressive powerlogics of dependence and independence
Cites Work
- Dependence and independence
- Dependence logic. A new approach to independence friendly logic
- 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?)
- Finite Partially‐Ordered Quantifiers
- Finite partially-ordered quantification
- On definability in dependence logic
- Generalized quantifiers in dependence logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Henkin quantifiers and complete problems
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
- Games for Inclusion Logic and Fixed-Point Logic
Cited In (2)
This page was built for publication: Dependency Concepts up to Equivalence.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079749)