Dependency Concepts up to Equivalence.

DOI10.4230/LIPICS.CSL.2018.25MaRDI QIDQ5079749zbMATH OpenOpenAlexFDO

Authors 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

team semanticsexistential second-order logicobservational equivalenceexpressive powerlogics of dependence and independence

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Logics of dependence and independence: The local variants
• Logics with multiteam semantics
• Team logic and second-order logic
• Team Logic and Second-Order Logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information

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?)
• scientific article; zbMATH DE number 3196255 (Why is no real title available?)
• 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
• Finite Partially‐Ordered Quantifiers
• Finite partially-ordered quantification
• Games for inclusion logic and fixed-point logic
• Generalized quantifiers in dependence logic
• Henkin quantifiers and complete problems
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic

Cited in

(2)

• Multiteam semantics for interventionist counterfactuals: probabilities and causation
• Characterizing counterfactuals and dependencies over (generalized) causal teams

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)