31 citations · 54 across the 4 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 22 cited
The Expressive Power of Modal Dependence Logic
Lauri Hella, Kerkko Luosto, Katsuhiko Sano +1
We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulatio…
math.LO2014★ 1 cited
On logics extended with embedding-closed quantifiers
Jevgeni Haigora, Kerkko Luosto
We study first-order as well as infinitary logics extended with quantifiers closed upwards under embeddings. In particular, we show that if a chain of quasi-homogeneous structures…