Kerkko Luosto

On logics extended with embedding-closed quantifiers

Jevgeni Haigora, Kerkko Luosto, 2014, 1401.6682.

On vectorizations of unary generalized quantifiers

Kerkko Luosto, 2011, Archive for Mathematical Logic.

Dimension in team semantics

L. Hella, J. Vaananen, Kerkko Luosto, 2023, 2304.03354.

Weak models of distributed computing, with connections to modal logic

Lauri Hella, Jonni Virtema, Kerkko Luosto, 2012, PODC '12.

How to define a linear order on finite models

Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

Almost Everywhere Equivalence of Logics in Finite Model Theory

Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto, 1996, Bulletin of Symbolic Logic.

The hierarchy theorem for generalized quantifiers

Lauri Hella, Kerkko Luosto, Jouko A. Väänänen, 1996, Journal of Symbolic Logic.

The Expressive Power of Modal Dependence Logic pdf

Lauri Hella, Jonni Virtema, Katsuhiko Sano, 2014, Advances in Modal Logic.