Back and forth between logic and games

zbMATH Open1244.03108MaRDI QIDQ3172530FDOQ3172530

Authors: Erich Grädel 

Publication date: 5 October 2011

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

Mathematics Subject Classification ID

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

Cited In (9)

• Practical algorithms for MSO model-checking on tree-decomposable graphs
• On the use (and abuse) of logic in game theory
• The Descriptive Complexity of Parity Games
• Automata, Languages and Programming
• Courcelle's theorem -- a game-theoretic approach
• Games and model checking for guarded logics
• Fixed-point logics and solitaire games
• Model-checking games for logics of imperfect information
• 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)