#### Filter Results:

- Full text PDF available (10)

#### Publication Year

1992

2014

- This year (0)
- Last five years (3)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Lauri Hella, Kerkko Luosto, Jouko A. Väänänen
- J. Symb. Log.
- 1996

The concept of a generalized quantiier of a given similarity type was deened in Lin66]. Our main result says that on nite structures diierent similarity types give rise to diierent classes of generalized quantiiers. More exactly, for every similarity type t there is a generalized quantiier of type t which is not deenable in the extension of rst order logic… (More)

- Lauri Hella, Matti Järvisalo, +5 authors Jonni Virtema
- Distributed Computing
- 2012

This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker versions of the widely-studied port-numbering model. In the port-numbering model, a node of degree <i>d</i> receives messages through <i>d</i> input ports and it sends messages… (More)

- Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
- Bulletin of Symbolic Logic
- 1996

We introduce a new framework for classifying logics on finite structures and studying their expressive power. This framework is based on the concept of almost everywhere equivalence of logics, that is to say, two logics having the same expressive power on a class of asymptotic measure 1. More precisely, if L, L 0 are two logics and is an asymptotic measure… (More)

- Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
- LICS
- 1994

- Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema
- Advances in Modal Logic
- 2014

We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with intu-itionistic disjunction. Furthermore, we show that the expressive power of modal logic with intuitionistic… (More)

- Kerkko Luosto
- ESSLLI
- 1997

- Ari Koponen, Kerkko Luosto
- 2000

We consider logical deenability of the group-theoretic notions of simplicity, nilpotency and solvability on the class of nite groups. On one hand, we show that these notions are deenable by sentences of deterministic transitive closure logic DTC. These results are based on known group-theoretic results. On the other hand, we prove that simplicity,… (More)

- Kerkko Luosto
- J. Symb. Log.
- 2000

A combinatorial criterium is given when a monadic quantiier is expressible by means of universe-independent monadic quantiiers of width n. It is proved that the corresponding hierarchy does not collapse. As an application, it is shown that the second resumption (or vectorization) of the HH artig quantiier is not deenable by monadic quantiiers. The… (More)

- Kerkko Luosto
- Proceedings of the 19th Annual IEEE Symposium on…
- 2004

Linear orders are of inherent interest infinite model theory, especially in descriptive complexity theory. Here, the class of ordered structures is approached from a novel point of view, using generalized quantifiers as a means of analysis. The main technical result is a characterization of the cardinality quantifiers which can express equicardinality on… (More)

- Lauri Hella, Kerkko Luosto
- 2005

This paper is a survery on the technique to prove logics non-finitely generated originated in [H] and later used in [HL] and [HK]. The basic idea is that many (n + 1)-ary quantifiers Q are non-redundant in the sense that if Q is a set of n-ary quantifiers, then Q is not definable in L ωω (Q) (or even in L ∞ω (Q)). Here, quantifier Q is n-ary, if ar(Q) ≤ n… (More)