Hella, Lauri and
Vilander, Miikka. 2016.
“The Succinctness of First-Order Logic over Modal Logic via a Formula Size Game.” in
Advances in Modal Logic, volume XI, edited by Lev D.
Beklemishev, Stéphane
Demri, and András
Maté, pp. 401–419. London: King’s College Publications.