#### Filter Results:

- Full text PDF available (7)

#### Publication Year

1992

2014

- This year (0)
- Last 5 years (3)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn 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, L0 are two logics and ì is an asymptotic measure… (More)

- 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 intuitionistic disjunction. Furthermore, we show that the expressive power of modal logic with intuitionistic… (More)

- 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)

- 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, 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, Phokion G. Kolaitis, Kerkko Luosto
- LICS
- 1994

- Kerkko Luosto
- ESSLLI
- 1997

In recent years, generalized quantifiers (see [H3]) have received quite a lot of novel interest because of their applications to computer science and linguistics. Their definability theory has made considerable progress during the last decade, which will be the subject of the next section. The proofs of many of these results often use results of Ramsey… (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)

- 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)

- Lauri Hella, Kerkko Luosto
- J. Symb. Log.
- 1992