Game Logic is Strong Enough for Parity Games

Dietmar Berwanger. Game Logic is Strong Enough for Parity Games. Studia Logica, 75(2):205-219, 2003. [doi]

Abstract

Abstract is missing.