Games for inclusion logic and fixed-point logic

DOI10.1007/978-3-319-31803-5_5MaRDI QIDQ5213642zbMATH OpenOpenAlexFDO

Authors 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 logicgame graphnegation normal formwinning conditionwinning strategy

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 6680142
• Back and forth between logic and games
• Complexity thresholds in inclusion logic
• Fixed-point logics and solitaire games
• Complexity thresholds in inclusion logic

Cites work

• Dependence and independence
• Finite model theory and its applications.
• Generalized quantifiers in dependence logic
• Henkin quantifiers and complete problems
• scientific article; zbMATH DE number 6680142 (Why is no real title available?)
• scientific article; zbMATH DE number 5869590 (Why is no real title available?)
• scientific article; zbMATH DE number 5734943 (Why is no real title available?)
• scientific article; zbMATH DE number 4035805 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Model-checking games for logics of imperfect information
• On definability in dependence logic

Cited in

(6)

• Propositional union closed team logics
• scientific article; zbMATH DE number 6680142 (Why is no real title available?)
• Dependency Concepts up to Equivalence.
• Axiomatizing first order consequences in inclusion logic
• Complexity thresholds in inclusion logic
• Axiomatizing modal inclusion logic and its variants

This page was built for publication: Games for inclusion logic and fixed-point logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213642)