31 citations · 101 across the 14 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Model Checking and Validity in Propositional and Modal Inclusion Logics
Lauri Hella, Antti Kuusisto, Arne Meier +1
Propositional and modal inclusion logic are formalisms that belong to the family of logics based on team semantics. This article investigates the model checking and validity proble…
math.LO2016★ 4 cited
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…