Completeness for game logic

DOI10.5555/3470152.3470174MaRDI QIDQ6654487zbMATH OpenFDO

Authors Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema

Publication date 19 December 2024

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• An introduction to game logic
• Parity games and automata for game logic
• Game logic -- an overview
• Game logic and its applications. II
• The basic algebra of game equivalences

This page was built for publication: Completeness for game logic

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