11 citations · 13 across the 5 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2022
Relating description complexity to entropy
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
We demonstrate some novel links between entropy and description complexity, a notion referring to the minimal formula length for specifying given properties. Let MLU be the logic o…
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…