Kerkko Luosto

According to our database, Kerkko Luosto authored at least 14 papers between 1992 and 2025.

Collaborative distances:

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

2025

Regular Representations of Uniform TC⁰.

Lauri Hella, Juha Kontinen, Kerkko Luosto

ACM Trans. Comput. Log., October, 2025

2024

Dimension in team semantics.

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

Math. Struct. Comput. Sci., 2024

Game characterizations for the number of quantifiers.

Lauri Hella, Kerkko Luosto

Math. Struct. Comput. Sci., 2024

2023

Regular Representations of Uniform TC^0.

Lauri Hella, Juha Kontinen, Kerkko Luosto

CoRR, 2023

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

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

Proceedings of the ACM Symposium on Principles of Distributed Computing, 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

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

1994

How to Define a Linear Order on Finite Models

Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1992

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

Lauri Hella, Kerkko Luosto

J. Symb. Log., 1992