Games for Inclusion Logic and Fixed-Point Logic

DOI10.1007/978-3-319-31803-5_5zbMath1429.03117OpenAlexW2499942789MaRDI QIDQ5213642

Erich Grädel

Publication date: 4 February 2020

Published in: Dependence Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-31803-5_5

zbMATH Keywords

dependence logicwinning strategynegation normal formwinning conditiongame graph

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other game-theoretic models (91A40)

Related Items (4)

Propositional union closed team logics ⋮ Axiomatizing first order consequences in inclusion logic ⋮ Dependency Concepts up to Equivalence. ⋮ Complexity thresholds in inclusion logic

Cites Work

• Model-checking games for logics of imperfect information
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Finite model theory and its applications.
• On definability in dependence logic
• Henkin quantifiers and complete problems
• Dependence and independence
• Generalized quantifiers in dependence logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Games for Inclusion Logic and Fixed-Point Logic