Completeness for game logic

DOI10.5555/3470152.3470174MaRDI QIDQ6654487FDOQ6654487

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

Publication date: 19 December 2024

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

Mathematics Subject Classification ID

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

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)