Boolean Basis and Succinctness of Modal Logic via Hella-Vilander Games.

Sebastian Pfau

Browse the full CSL paper archive.