Dependency Concepts up to Equivalence.

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Logic in computer science (03B70)

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)

• 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)