Lauri Hella

Research output

Research output per year 1989 1992 1994 1995 1996 1997 1998 1999 2000 2003 2006 2008 2013 2014 2015 2016 2017 2019 2022 2023 2023

• 31 Article
• 25 Conference contribution
• 3 Chapter

Research output per year

Research output per year

Search results

• 2023

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

  Valmari, A. & Hella, L., 2023, In: NOTRE DAME JOURNAL OF FORMAL LOGIC. 64, 1, p. 61-93 33 p.

  Research output: Contribution to journal › Article › Scientific › peer-review

  • Predicate Logic 100%
  • Truth 80%
  • Completeness 64%
  • Logic 30%
  • Ternary 26%
• 2022

  Bounded game-theoretic semantics for modal mu-calculus

  Hella, L., Kuusisto, A. & Rönnholm, R., 2022, In: Information and Computation. 289, B, 19 p., 104882.

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  File

  • μ-calculus 100%
  • Semantics 63%
  • Game 60%
  • Model checking 26%
  • Model Checking 18%
  15 Downloads (Pure)

• Complexity thresholds in inclusion logic

  Hannula, M. & Hella, L., 2022, In: Information and Computation. 287, 104759.

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  File

  • Inclusion 100%
  • Logic 98%
  • Fragment 40%
  • Logarithmic 34%
  • Polynomial time 33%
  4 Downloads (Pure)
• 2021

  Independence-friendly logic without Henkin quantification

  Barbero, F., Hella, L. & Rönnholm, R., 16 Jun 2021, In: Archive for Mathematical Logic.

  Research output: Contribution to journal › Article › Scientific › peer-review

  Open Access

  File

  • Independence-friendly Logic 100%
  • IF Logic 74%
  • Quantification 66%
  • Irregular 62%
  • Prefix 55%
  2 Downloads (Pure)
• 2019

  Formula size games for modal logic and mu-calculus

  Hella, L. T. & Vilander, M. S., 2019, In: JOURNAL OF LOGIC AND COMPUTATION. 29, 8, p. 1311-1344 exz025.

  Research output: Contribution to journal › Article › Scientific › peer-review

  File

  • μ-calculus 100%
  • Modal Logic 81%
  • Calculi 72%
  • Game 60%
  • Kripke Models 11%
  1 Citation (Scopus)

  24 Downloads (Pure)

• Model checking and validity in propositional and modal inclusion logics

  Hella, L., Kuusisto, A., Meier, A. & Virtema, J., 2019, In: JOURNAL OF LOGIC AND COMPUTATION. 29, 5, p. 605-630 26 p.

  Research output: Contribution to journal › Article › Scientific › peer-review

  • Model Checking 100%
  • Model checking 72%
  • Inclusion 58%
  • Logic 53%
  • Semantics 46%
  2 Citations (Scopus)

• Satisfiability of modal inclusion logic: Lax and strict semantics

  Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 2019, In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 21, 1, 7.

  Research output: Contribution to journal › Article › Scientific › peer-review

  • Satisfiability 100%
  • Semantics 78%
  • Inclusion 73%
  • Logic 72%
  • Computational complexity 37%
  1 Citation (Scopus)
• 2017

  Boolean dependence logic and partially-ordered connectives

  Ebbing, J., Hella, L., Lohmann, P. & Virtema, J., 2017, In: Journal of Computer and System Sciences. 88, p. 103-125

  Research output: Contribution to journal › Article › Scientific › peer-review
  1 Citation (Scopus)
• 2016

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

  Hella, L. & Kuusisto, A., 2016, In: Information and Computation. 247, p. 217-234

  Research output: Contribution to journal › Article › Scientific › peer-review
• 2015

  Weak models of distributed computing, with connections to modal logic

  Hella, L., Järvisalo, M., Kuusisto, A., Laurinharju, J., Lempiäinen, T., Luosto, K., Suomela, J. & Jonni, V., 2015, In: Distributed Computing. 28, 1, p. 31-53

  Research output: Contribution to journal › Article › Scientific › peer-review
  22 Citations (Scopus)
• 2013

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

  Hella, L. & Tulenheimo, T., 2013, In: JOURNAL OF LOGIC AND COMPUTATION. 23, 1, p. 157-180

  Research output: Contribution to journal › Article › Scientific › peer-review
• 2008

  Partially ordered connectives and monadic monotone strict NP

  Hella, L., Sevenster, M. & Tulenheimo, T., 2008, In: JOURNAL OF LOGIC, LANGUAGE AND INFORMATION. 17, 3, p. 323-344

  Research output: Contribution to journal › Article › Scientific › peer-review
  2 Citations (Scopus)

• Term definable classes of Boolean functions and frame definability in modal logic

  Couceiro, M., Hella, L. & Kivelä, J., 2008, In: Logic Journal of the Interest Group in Pure and Applied Logics. 16, 1, p. 43-73

  Research output: Contribution to journal › Article › Scientific › peer-review
• 2006

  Computing queries with higher order logics

  Hella, L. & Turull-Torres, J., 2006, In: Theoretical Computer Science. 355, p. 197-214

  Research output: Contribution to journal › Article › Scientific › peer-review

  10 Citations (Scopus)
• 2003

  Approximate pattern matching and transitive closure logic

  Lemström, K. & Hella, L., 2003, In: Theoretical Computer Science. 299, p. 387-412

  Research output: Contribution to journal › Article › Scientific › peer-review

  2 Citations (Scopus)

• Expressibility of higher order logics

  Hella, L. & Turull-Torres, J. M., 2003, In: Electronic Notes in Theoretical Computer Science. 84

  Research output: Contribution to journal › Article › Scientific › peer-review

  5 Citations (Scopus)
• 2001

  Logics with aggregate operators

  Hella, L., Libkin, L., Nurmonen, J. & Wong, L., 2001, In: JOURNAL OF THE ACM. 48, 4, p. 880-907

  Research output: Contribution to journal › Article › Scientific › peer-review
  39 Citations (Scopus)
• 2000

  Vectorization hierarchies of some graph quantifiers

  Hella, L. & Nurmonen, J., 2000, In: Archive for Mathematical Logic. 39, 3, p. 183-207

  Research output: Contribution to journal › Article › Scientific › peer-review

  1 Citation (Scopus)
• 1999

  Notions of locality and their logical characterizations over finite models

  Hella, L., Libkin, L. & Nurmonen, J., 1999, In: JOURNAL OF SYMBOLIC LOGIC. 64, 4, p. 1751-1773

  Research output: Contribution to journal › Article › Scientific › peer-review
  32 Citations (Scopus)
• 1998

  Capturing relativized complexity classes without order

  Dawar, A., Gottlob, G. & Hella, L., 1998, In: Mathematical Logic Quarterly. 44, p. 109-122

  Research output: Contribution to journal › Article › Scientific › peer-review

  3 Citations (Scopus)

• Enhancing fixed point logic with cardinality quantifiers

  Hella, L. & Imhof, H., 1998, In: JOURNAL OF LOGIC AND COMPUTATION. 8, p. 71-86

  Research output: Contribution to journal › Article › Scientific › peer-review

  2 Citations (Scopus)
• 1997

  Definability of polyadic lifts of generalized quantifiers

  Hella, L., Väänänen, J. & Westerståhl, D., 1997, In: JOURNAL OF LOGIC, LANGUAGE AND INFORMATION. 6, p. 305-335

  Research output: Contribution to journal › Article › Scientific › peer-review

  18 Citations (Scopus)

• How to define a linear order on finite models

  Hella, L., Kolaitis, P. & Luosto, K., 1997, In: ANNALS OF PURE AND APPLIED LOGIC. 87, p. 241-267

  Research output: Contribution to journal › Article › Scientific › peer-review

  9 Citations (Scopus)
• 1996

  A double arity hierarchy theorem for transitive closure logic

  Martin, G. & Hella, L., 1996, In: Archive for Mathematical Logic. 35, p. 157-171

  Research output: Contribution to journal › Article › Scientific › peer-review

  5 Citations (Scopus)

• Almost everywhere equivalence of logics in finite model theory

  Hella, L., Kolaitis, P. & Luosto, K., 1996, In: BULLETIN OF SYMBOLIC LOGIC. 2, p. 422-443

  Research output: Contribution to journal › Article › Scientific › peer-review

  37 Citations (Scopus)

• Logical hierarchies in PTIME

  Hella, L., 1996, In: Information and Computation. 129, p. 1-19

  Research output: Contribution to journal › Article › Scientific › peer-review

  67 Citations (Scopus)

• The hierarchy theorem for generalized quantifiers

  Hella, L., Luosto, K. & Väänänen, J., 1996, In: JOURNAL OF SYMBOLIC LOGIC. 61, p. 802-817

  Research output: Contribution to journal › Article › Scientific › peer-review

  17 Citations (Scopus)
• 1995

  The expressive power of finitely many generalized quantifiers

  Dawar, A. & Hella, L., 1995, In: Information and Computation. 123, p. 172-184

  Research output: Contribution to journal › Article › Scientific › peer-review

  17 Citations (Scopus)
• 1992

  The Beth-closure of L(Q_alpha) is not finitely generated

  Hella, L. & Luosto, K., 1992, In: JOURNAL OF SYMBOLIC LOGIC. 57, p. 442-448

  Research output: Contribution to journal › Article › Scientific › peer-review
• 1991

  Remarks on the Cartesian closure

  Hella, L. & Krynicki, M., 1991, In: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 37, p. 539-545

  Research output: Contribution to journal › Article › Scientific › peer-review

  1 Citation (Scopus)
• 1989

  Definability hierarchies of generalized quantifiers

  Hella, L., 1989, In: ANNALS OF PURE AND APPLIED LOGIC. 43, p. 235-271

  Research output: Contribution to journal › Article › Scientific › peer-review

  40 Citations (Scopus)