The Succinctness of First-order Logic over Modal Logic via a Formula Size Game

Lauri Hella, Miikka Vilander

We propose a new version of formula size game for modal logic. The game characterizes the equivalence of pointed Kripke-models up to formulas of given numbers of modal operators an…