Kerkko Luosto - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2015

Weak models of distributed computing, with connections to modal logicLauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema. dc, 28(1):31-53, 2015. [doi]

2014

The Expressive Power of Modal Dependence LogicLauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema. aiml 2014: 294-312 [doi]

2012

Weak models of distributed computing, with connections to modal logicLauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema. podc 2012: 185-194 [doi]

On vectorizations of unary generalized quantifiersKerkko Luosto. AML, 51(3-4):241-255, 2012. [doi]

2004

Equicardinality on Linear OrdersKerkko Luosto. lics 2004: 458-465 [doi]

2000

Hierarchies of Monadic Generalized QuantifiersKerkko Luosto. JSYML, 65(3):1241-1263, 2000.

1997

How to Define a Linear Order on Finite ModelsLauri Hella, Phokion G. Kolaitis, Kerkko Luosto. APAL, 87(3):241-267, 1997.

Ramsey Theory Is Needed for Solving Definability Problems of Generalized QuantifiersKerkko Luosto. esslli 2000: 124-139 [doi]

1996

The Hierarchy Theorem for Generalized QuantifiersLauri Hella, Kerkko Luosto, Jouko A. Väänänen. JSYML, 61(3):802-817, 1996.

Almost everywhere equivalence of logics in finite model theoryLauri Hella, Phokion G. Kolaitis, Kerkko Luosto. bsl, 2(4):422-443, 1996. [doi]

1994

How to Define a Linear Order on Finite ModelsLauri Hella, Phokion G. Kolaitis, Kerkko Luosto. lics 1994: 40-49

1992

The Beth-Closure of L(Q::alpha::) Is Not Finitely GeneratedLauri Hella, Kerkko Luosto. JSYML, 57(2):442-448, 1992.

Sign in or sign up to see more results.

runs on WebDSL