11 citations · 16 across the 4 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2016
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…
math.LO2012★ 1 cited
The size of a formula as a measure of complexity
Lauri Hella, Jouko Väänänen
We introduce a refinement of the usual Ehrenfeucht-Fra\"ıssé game. The new game will help us make finer distinctions than the traditional one. In particular, it can be used to meas…