Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Hakutulokset
-
2023
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
Valmari, A. & Hella, L., 2023, julkaisussa: NOTRE DAME JOURNAL OF FORMAL LOGIC. 64, 1, s. 61-93 33 SivumääräTutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
Open accessTiedosto -
2022
Bounded game-theoretic semantics for modal mu-calculus
Hella, L., Kuusisto, A. & Rönnholm, R., 2022, julkaisussa: Information and Computation. 289, B, 19 Sivumäärä, 104882.Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
Open accessTiedosto17 Lataukset (Pure) -
Complexity thresholds in inclusion logic
Hannula, M. & Hella, L., 2022, julkaisussa: Information and Computation. 287, 104759.Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
Open accessTiedosto5 Lataukset (Pure) -
2021
Independence-friendly logic without Henkin quantification
Barbero, F., Hella, L. & Rönnholm, R., 16 kesäk. 2021, julkaisussa: Archive for Mathematical Logic.Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
Open accessTiedosto2 Lataukset (Pure) -
2019
Formula size games for modal logic and mu-calculus
Hella, L. T. & Vilander, M. S., 2019, julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. 29, 8, s. 1311-1344 exz025.Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
Tiedosto1 Sitaatiot (Scopus)24 Lataukset (Pure) -
Model checking and validity in propositional and modal inclusion logics
Hella, L., Kuusisto, A., Meier, A. & Virtema, J., 2019, julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. 29, 5, s. 605-630 26 SivumääräTutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
2 Sitaatiot (Scopus) -
Satisfiability of modal inclusion logic: Lax and strict semantics
Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 2019, julkaisussa: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 21, 1, 7.Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
1 Sitaatiot (Scopus) -
2017
Boolean dependence logic and partially-ordered connectives
Ebbing, J., Hella, L., Lohmann, P. & Virtema, J., 2017, julkaisussa: Journal of Computer and System Sciences. 88, s. 103-125Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
1 Sitaatiot (Scopus) -
2016
Existential second-order logic and modal logic with quantified accessibility relations
Hella, L. & Kuusisto, A., 2016, julkaisussa: Information and Computation. 247, s. 217-234Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
-
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, julkaisussa: Distributed Computing. 28, 1, s. 31-53Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
22 Sitaatiot (Scopus) -
2013
On the existence of a modal-logical basis for monadic second-order logic
Hella, L. & Tulenheimo, T., 2013, julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. 23, 1, s. 157-180Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
-
2008
Partially ordered connectives and monadic monotone strict NP
Hella, L., Sevenster, M. & Tulenheimo, T., 2008, julkaisussa: JOURNAL OF LOGIC, LANGUAGE AND INFORMATION. 17, 3, s. 323-344Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
2 Sitaatiot (Scopus) -
Term definable classes of Boolean functions and frame definability in modal logic
Couceiro, M., Hella, L. & Kivelä, J., 2008, julkaisussa: Logic Journal of the Interest Group in Pure and Applied Logics. 16, 1, s. 43-73Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
-
2006
Computing queries with higher order logics
Hella, L. & Turull-Torres, J., 2006, julkaisussa: Theoretical Computer Science. 355, s. 197-214Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
10 Sitaatiot (Scopus) -
2003
Approximate pattern matching and transitive closure logic
Lemström, K. & Hella, L., 2003, julkaisussa: Theoretical Computer Science. 299, s. 387-412Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
2 Sitaatiot (Scopus) -
Expressibility of higher order logics
Hella, L. & Turull-Torres, J. M., 2003, julkaisussa: Electronic Notes in Theoretical Computer Science. 84Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
5 Sitaatiot (Scopus) -
2001
Logics with aggregate operators
Hella, L., Libkin, L., Nurmonen, J. & Wong, L., 2001, julkaisussa: JOURNAL OF THE ACM. 48, 4, s. 880-907Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
39 Sitaatiot (Scopus) -
2000
Vectorization hierarchies of some graph quantifiers
Hella, L. & Nurmonen, J., 2000, julkaisussa: Archive for Mathematical Logic. 39, 3, s. 183-207Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
1 Sitaatiot (Scopus) -
1999
Notions of locality and their logical characterizations over finite models
Hella, L., Libkin, L. & Nurmonen, J., 1999, julkaisussa: JOURNAL OF SYMBOLIC LOGIC. 64, 4, s. 1751-1773Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
32 Sitaatiot (Scopus) -
1998
Capturing relativized complexity classes without order
Dawar, A., Gottlob, G. & Hella, L., 1998, julkaisussa: Mathematical Logic Quarterly. 44, s. 109-122Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
3 Sitaatiot (Scopus) -
Enhancing fixed point logic with cardinality quantifiers
Hella, L. & Imhof, H., 1998, julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. 8, s. 71-86Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
2 Sitaatiot (Scopus) -
1997
Definability of polyadic lifts of generalized quantifiers
Hella, L., Väänänen, J. & Westerståhl, D., 1997, julkaisussa: JOURNAL OF LOGIC, LANGUAGE AND INFORMATION. 6, s. 305-335Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
18 Sitaatiot (Scopus) -
How to define a linear order on finite models
Hella, L., Kolaitis, P. & Luosto, K., 1997, julkaisussa: ANNALS OF PURE AND APPLIED LOGIC. 87, s. 241-267Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
9 Sitaatiot (Scopus) -
1996
A double arity hierarchy theorem for transitive closure logic
Martin, G. & Hella, L., 1996, julkaisussa: Archive for Mathematical Logic. 35, s. 157-171Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
5 Sitaatiot (Scopus) -
Almost everywhere equivalence of logics in finite model theory
Hella, L., Kolaitis, P. & Luosto, K., 1996, julkaisussa: BULLETIN OF SYMBOLIC LOGIC. 2, s. 422-443Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
37 Sitaatiot (Scopus) -
Logical hierarchies in PTIME
Hella, L., 1996, julkaisussa: Information and Computation. 129, s. 1-19Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
67 Sitaatiot (Scopus) -
The hierarchy theorem for generalized quantifiers
Hella, L., Luosto, K. & Väänänen, J., 1996, julkaisussa: JOURNAL OF SYMBOLIC LOGIC. 61, s. 802-817Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
17 Sitaatiot (Scopus) -
1995
The expressive power of finitely many generalized quantifiers
Dawar, A. & Hella, L., 1995, julkaisussa: Information and Computation. 123, s. 172-184Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
17 Sitaatiot (Scopus) -
1992
The Beth-closure of L(Q_alpha) is not finitely generated
Hella, L. & Luosto, K., 1992, julkaisussa: JOURNAL OF SYMBOLIC LOGIC. 57, s. 442-448Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
-
1991
Remarks on the Cartesian closure
Hella, L. & Krynicki, M., 1991, julkaisussa: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 37, s. 539-545Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
1 Sitaatiot (Scopus) -
1989
Definability hierarchies of generalized quantifiers
Hella, L., 1989, julkaisussa: ANNALS OF PURE AND APPLIED LOGIC. 43, s. 235-271Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu
40 Sitaatiot (Scopus)