The succinctness of first-order logic over modal logic via a formula size game.

Lauri Hella, Miikka Vilander

Browse the full AiML paper archive.