Parity games and automata for game logic

DOI10.1007/978-3-319-73579-5_8zbMath1499.03024arXiv1709.00777OpenAlexW2768597413MaRDI QIDQ1742625

Clemens Kupke, Yde Venema, Johannes Marti, Helle Hvid Hansen

Publication date: 12 April 2018

Full work available at URL: https://arxiv.org/abs/1709.00777

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05)

Related Items (2)

Unnamed Item ⋮ Coalgebraic logics \& duality

This page was built for publication: Parity games and automata for game logic