Back and forth between logic and games

MaRDI QIDQ3172530zbMATH OpenFDO

Authors Erich Grädel

Publication date 5 October 2011

Mathematics Subject Classification ID

Logic in computer science (03B70) Other game-theoretic models (91A40)

Recommendations

• Games and model checking for guarded logics
• The Descriptive Complexity of Parity Games
• Parity games and automata for game logic
• Fixed-point logics and solitaire games
• Game logic is strong enough for parity games

Cited in

(13)

• Fixed-point logics and solitaire games
• On the use (and abuse) of logic in game theory
• Games and model checking for guarded logics
• The Descriptive Complexity of Parity Games
• Model-checking games for logics of imperfect information
• Courcelle's theorem -- a game-theoretic approach
• Defining winning strategies in fixed-point logic
• Practical algorithms for MSO model-checking on tree-decomposable graphs
• Games for topological fixpoint logic
• The many logics of graph games
• Games for inclusion logic and fixed-point logic
• Automata, Languages and Programming
• Backtracking games and inflationary fixed points

This page was built for publication: Back and forth between logic and games

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