Kerkko Luosto

Orcid: 0009-0007-3911-766X

According to our database1, Kerkko Luosto authored at least 13 papers between 1992 and 2024.

Collaborative distances:

Timeline

1995
2000
2005
2010
2015
2020
0
1
2
3
2
1
1
1
1
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Dimension in team semantics.
Math. Struct. Comput. Sci., 2024

Game characterizations for the number of quantifiers.
Math. Struct. Comput. Sci., 2024

2023
Regular Representations of Uniform TC^0.
CoRR, 2023

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

2014
The Expressive Power of Modal Dependence Logic.
Proceedings of the Advances in Modal Logic 10, 2014

2012
On vectorizations of unary generalized quantifiers.
Arch. Math. Log., 2012

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

2000
Hierarchies of Monadic Generalized Quantifiers.
J. Symb. Log., 2000

1997
How to Define a Linear Order on Finite Models.
Ann. Pure Appl. Log., 1997

Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers.
Proceedings of the Generalized Quantifiers and Computation, 1997

1996
The Hierarchy Theorem for Generalized Quantifiers.
J. Symb. Log., 1996

Almost everywhere equivalence of logics in finite model theory.
Bull. Symb. Log., 1996

1992
The Beth-Closure of L(Q<sub>alpha</sub>) Is Not Finitely Generated.
J. Symb. Log., 1992


  Loading...