31 citations · 101 across the 14 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 22 cited
The expressive power of modal logic with inclusion atoms
Lauri Hella, Johanna Stumpf
Modal inclusion logic is the extension of basic modal logic with inclusion atoms, and its semantics is defined on Kripke models with teams. A team of a Kripke model is just a subse…
cs.LO2015★ 1 cited
Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics
Lauri Hella, Antti Kuusisto, Arne Meier +1
We investigate the computational complexity of the satisfiability problem of modal inclusion logic. We distinguish two variants of the problem: one for the strict and another one f…