( en | de | ru )

 

Disambiguation of "Luosto, Kerkko"

Author of the publication

copydeleteadd this publication to your clipboard
The Expressive Power of Modal Dependence Logic.

, , , and . Advances in Modal Logic, page 294-312. College Publications, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rauno Luosto

 

Other publications of authors with the same name

How to Define a Linear Order on Finite Models, , and . LICS, page 40-49. IEEE Computer Society, (1994)On vectorizations of unary generalized quantifiers.. Arch. Math. Log., 51 (3-4): 241-255 (2012)Equicardinality on Linear Orders.. LICS, page 458-465. IEEE Computer Society, (2004)How to Define a Linear Order on Finite Models., , and . Ann. Pure Appl. Log., 87 (3): 241-267 (1997)Almost everywhere equivalence of logics in finite model theory., , and . Bull. Symb. Log., 2 (4): 422-443 (1996)The Beth-Closure of L(Qalpha) Is Not Finitely Generated., and . J. Symb. Log., 57 (2): 442-448 (1992)The Hierarchy Theorem for Generalized Quantifiers., , and . J. Symb. Log., 61 (3): 802-817 (1996)Regular Representations of Uniform TC^0., , and . CoRR, (2023)Hierarchies of Monadic Generalized Quantifiers.. J. Symb. Log., 65 (3): 1241-1263 (2000)Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers.. ESSLLI, volume 1754 of Lecture Notes in Computer Science, page 124-139. Springer, (1997)