Concepedia

Kerkko Luosto

KL

9

Publications

188

Citations

9

H-Index

1996

Active since

Affiliations

University of Helsinki(Current)

University of California, Santa Cruz

Tampere University

Japan Advanced Institute of Science and Technology

Kerkko Luosto is an author at University of Helsinki specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSemanticsFormal VerificationComputational ComplexityReduced Order ModelingModeling And SimulationMathematical Foundations

Publications per year

1996–2014

9

Publications

9

Almost Everywhere Equivalence of Logics in Finite Model Theory

Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto · Bulletin of Symbolic Logic · 1996 · 45 citations

Theory Of Computing, Everywhere Equivalence, Engineering +11

Hierarchies of monadic generalized quantifiers

Kerkko Luosto · Journal of Symbolic Logic · 2000 · 33 citations

Combinatorial Criterium, Algebraic Logic, Engineering +13

The hierarchy theorem for generalized quantifiers

Lauri Hella, Kerkko Luosto, Jouko Väänánen · Journal of Symbolic Logic · 1996 · 23 citations

Engineering, Substructural Logic, Hierarchy Theorem +11

The Expressive Power of Modal Dependence Logic

Lauri Hella, Kerkko Luosto, Katsuhiko Sano et al. · arXiv (Cornell University) · 2014 · 22 citations · Full text

Non-classical Logic, Expressive Power, Engineering +11

How to define a linear order on finite models

Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto · 2002 · 17 citations

Mathematical Programming, Order Theory, Reduced Order Modeling +13

Rows per page

1–5 of 9