Kerkko Luosto

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 1

Top Topics

Transitive Closure

Distributed Computing

Monadic Second Order Logic

Top Venues

Advances in Modal Logic

Distributed Comput.

Publications

Lauri Hella, Juha Kontinen, Kerkko Luosto
Regular Representations of Uniform TC^0. CoRR (2023)
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
Weak models of distributed computing, with connections to modal logic. Distributed Comput. 28 (1) (2015)
Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema
The Expressive Power of Modal Dependence Logic. Advances in Modal Logic (2014)
Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema
The Expressive Power of Modal Dependence Logic. CoRR (2014)
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
Weak Models of Distributed Computing, with Connections to Modal Logic CoRR (2012)
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
Weak models of distributed computing, with connections to modal logic. PODC (2012)
Kerkko Luosto
On vectorizations of unary generalized quantifiers. Arch. Math. Log. 51 (3-4) (2012)
Kerkko Luosto
Equicardinality on Linear Orders. LICS (2004)
Kerkko Luosto
Hierarchies of Monadic Generalized Quantifiers. J. Symb. Log. 65 (3) (2000)
Kerkko Luosto
Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers. ESSLLI (1997)
Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
How to Define a Linear Order on Finite Models. Ann. Pure Appl. Log. 87 (3) (1997)
Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
Almost everywhere equivalence of logics in finite model theory. Bull. Symb. Log. 2 (4) (1996)
Lauri Hella, Kerkko Luosto, Jouko A. Väänänen
The Hierarchy Theorem for Generalized Quantifiers. J. Symb. Log. 61 (3) (1996)
Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
How to Define a Linear Order on Finite Models LICS (1994)
Lauri Hella, Kerkko Luosto
) Is Not Finitely Generated. J. Symb. Log. 57 (2) (1992)