Kerkko Luosto

According to our database, Kerkko Luosto authored at least 11 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Regular Representations of Uniform TC^0.

Lauri Hella, Juha Kontinen, Kerkko Luosto

CoRR, 2023

2015

Weak models of distributed computing, with connections to modal logic.

Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema

Distributed Comput., 2015

2014

The Expressive Power of Modal Dependence Logic.

Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema

Proceedings of the Advances in Modal Logic 10, 2014

2012

On vectorizations of unary generalized quantifiers.

Kerkko Luosto

Arch. Math. Log., 2012

2004

Equicardinality on Linear Orders.

Kerkko Luosto

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2000

Hierarchies of Monadic Generalized Quantifiers.

Kerkko Luosto

J. Symb. Log., 2000

1997

How to Define a Linear Order on Finite Models.

Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto

Ann. Pure Appl. Log., 1997

Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers.

Kerkko Luosto

Proceedings of the Generalized Quantifiers and Computation, 1997

1996

The Hierarchy Theorem for Generalized Quantifiers.

Lauri Hella, Kerkko Luosto, Jouko A. Väänänen

J. Symb. Log., 1996

Almost everywhere equivalence of logics in finite model theory.

Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto

Bull. Symb. Log., 1996

1992

The Beth-Closure of L(Q_alpha) Is Not Finitely Generated.

Lauri Hella, Kerkko Luosto

J. Symb. Log., 1992