31 citations · 101 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 11 cited
Formula size games for modal logic and -calculus
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…
cs.LO2019
Complexity Thresholds in Inclusion Logic
Miika Hannula, Lauri Hella
Logics with team semantics provide alternative means for logical characterization of complexity classes. Both dependence and independence logic are known to capture non-determinist…