Lauri Hella

According to our database, Lauri Hella authored at least 56 papers between 1989 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

Quantifiers Closed Under Partial Polymorphisms.

Anuj Dawar, Lauri Hella

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Regular Representations of Uniform TC^0.

Lauri Hella, Juha Kontinen, Kerkko Luosto

CoRR, 2023

Descriptive Complexity for Distributed Computing with Circuits.

Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

The Expressive Power of CSP-Quantifiers.

Lauri Hella

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

Bounded game-theoretic semantics for modal mu-calculus.

Lauri Hella, Antti Kuusisto, Raine Rönnholm

Inf. Comput., 2022

Defining Long Words Succinctly in FO and MSO.

Lauri Hella, Miikka Vilander

Proceedings of the Revolutions and Revelations in Computability, 2022

2021

A Completeness Proof for A Regular Predicate Logic with Undefined Truth Value.

Antti Valmari, Lauri Hella

CoRR, 2021

2020

Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics.

Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer

ACM Trans. Comput. Log., 2020

Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants.

Lauri Hella, Antti Kuusisto, Raine Rönnholm

Proceedings of the Proceedings 11th International Symposium on Games, 2020

2019

Formula size games for modal logic and μ-calculus.

Lauri Hella, Miikka Vilander

J. Log. Comput., 2019

Complexity Thresholds in Inclusion Logic.

Miika Hannula, Lauri Hella

Proceedings of the Logic, Language, Information, and Computation, 2019

2017

Independence-Friendly Logic Without Henkin Quantification.

Fausto Barbero, Lauri Hella, Raine Rönnholm

Proceedings of the Logic, Language, Information, and Computation, 2017

Model Checking and Validity in Propositional and Modal Inclusion Logics.

Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

Existential second-order logic and modal logic with quantified accessibility relations.

Lauri Hella, Antti Kuusisto

Inf. Comput., 2016

Dependence Logic vs. Constraint Satisfaction.

Lauri Hella, Phokion G. Kolaitis

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

The succinctness of first-order logic over modal logic via a formula size game.

Lauri Hella, Miikka Vilander

Proceedings of the Advances in Modal Logic 11, 2016

2015

The expressive power of modal logic with inclusion atoms.

Lauri Hella, Johanna Stumpf

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Modal Inclusion Logic: Being Lax is Simpler than Being Strict.

Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

The Size of a Formula as a Measure of Complexity.

Lauri Hella, Jouko Väänänen

Proceedings of the Logic Without Borders, 2015

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

One-dimensional Fragment of First-order Logic.

Lauri Hella, Antti Kuusisto

Proceedings of the Advances in Modal Logic 10, 2014

2013

On the existence of a modal-logical basis for monadic second-order logic.

Lauri Hella, Tero Tulenheimo

J. Log. Comput., 2013

Extended Modal Dependence Logic.

Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer

Proceedings of the Logic, Language, Information, and Computation, 2013

Boolean Dependence Logic and Partially-Ordered Connectives.

Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema

Proceedings of the Logic, Language, Information, and Computation, 2013

Inclusion Logic and Fixed Point Logic.

Pietro Galliani, Lauri Hella

Proceedings of the Computer Science Logic 2013, 2013

2012

The size of a formula as a measure of complexity

Lauri Hella, Jouko A. Väänänen

CoRR, 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

2009

Monadic Sigma¹₁ and Modal Logic with Quantified Binary Relations.

Lauri Hella, Antti Kuusisto

Proceedings of the 6th Workshop on Methods for Modalities, 2009

2008

Partially Ordered Connectives and Monadic Monotone Strict NP.

Lauri Hella, Merlijn Sevenster, Tero Tulenheimo

J. Log. Lang. Inf., 2008

Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic.

Miguel Couceiro, Lauri Hella, Jari Kivelä

Log. J. IGPL, 2008

2006

Computing queries with higher-order logics.

Lauri Hella, Jose Maria Turull Torres

Theor. Comput. Sci., 2006

Complete Problems for Higher Order Logics.

Lauri Hella, Jose Maria Turull Torres

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2003

Approximate pattern matching and transitive closure logics.

Kjell Lemström, Lauri Hella

Theor. Comput. Sci., 2003

Expressibility of Higher Order Logics.

Lauri Hella, Jose Maria Turull Torres

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

Quantifying over Quantifiers.

Lauri Hella

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

2000

Vectorization hierarchies of some graph quantifiers.

Lauri Hella, Juha Nurmonen

Arch. Math. Log., 2000

Approximate Pattern Matching is Expressible in Transitive Closure Logic.

Kjell Lemström, Lauri Hella

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999

Notions of Locality and Their Logical Characterizations over Finite Models.

Lauri Hella, Leonid Libkin, Juha Nurmonen

J. Symb. Log., 1999

Logics with Aggregate Operators.

Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998

Capturing Relativized Complexity Classes without Order.

Anuj Dawar, Georg Gottlob, Lauri Hella

Math. Log. Q., 1998

Enhancing Fixed Point Logic with Cardinality Quantifiers.

Lauri Hella, Henrik Imhof

J. Log. Comput., 1998

Ordering Finite Variable Types with Generalized Quantifiers.

Anuj Dawar, Lauri Hella, Anil Seth

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997

Definability of Polyadic Lifts of Generalized Quantifiers.

Lauri Hella, Jouko A. Väänänen, Dag Westerståhl

J. Log. Lang. Inf., 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

A double arity hierarchy theorem for transitive closure logic.

Martin Grohe, Lauri Hella

Arch. Math. Log., 1996

1995

Implicit Definability and Infinitary Logic in Finite Model Theory.

Anuj Dawar, Lauri Hella, Phokion G. Kolaitis

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

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

The Expressive Power of Finitely Many Generalized Quantifiers

Anuj Dawar, Lauri Hella

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

Logical Hierarchies in PTIME

Lauri Hella

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991

Remarks on The Cartesian Closure.

Lauri Hella, Michal Krynicki

Math. Log. Q., 1991

1989

Definability Hierarchies of Generalized Quantifiers.

Lauri Hella

Ann. Pure Appl. Log., 1989