Dependency Concepts up to Equivalence.

DOI10.4230/LIPIcs.CSL.2018.25OpenAlexW2889285848MaRDI QIDQ5079749

Erich Grädel, Matthias Hoelzel

Publication date: 28 May 2022

Full work available at URL: https://doi.org/10.4230/LIPIcs.CSL.2018.25

zbMATH Keywords

expressive powerexistential second-order logicobservational equivalenceteam semanticslogics of dependence and independence

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

Characterizing counterfactuals and dependencies over (generalized) causal teams

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic
• Henkin quantifiers and complete problems
• Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
• Dependence and independence
• Generalized quantifiers in dependence logic
• Compositional semantics for a language of imperfect information
• Games for Inclusion Logic and Fixed-Point Logic
• Finite Partially‐Ordered Quantifiers
• Finite partially-ordered quantification

This page was built for publication: Dependency Concepts up to Equivalence.