Kerkko Luosto

MaRDI QIDQ412062zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Regular representations of uniform TC^0 ACM Transactions on Computational Logic	2025-12-01	Paper
Game characterizations for the number of quantifiers Mathematical Structures in Computer Science	2024-10-16	Paper
Dimension in team semantics Mathematical Structures in Computer Science	2024-10-16	Paper
Regular Representations of Uniform TC^0	2023-09-13	Paper
Dimension in team semantics	2023-04-06	Paper
The expressive power of modal dependence logic (available as arXiv preprint)	2018-04-23	Paper
Weak models of distributed computing, with connections to modal logic Distributed Computing	2015-03-25	Paper
Weak models of distributed computing, with connections to modal logic Proceedings of the 2012 ACM symposium on Principles of distributed computing	2014-12-05	Paper
Weak models of distributed computing, with connections to modal logic Proceedings of the 2012 ACM symposium on Principles of distributed computing	2014-12-05	Paper
On logics extended with embedding-closed quantifiers	2014-01-26	Paper
On vectorizations of unary generalized quantifiers Archive for Mathematical Logic	2012-05-03	Paper
Hierarchies of monadic generalized quantifiers Journal of Symbolic Logic	2001-07-16	Paper
scientific article; zbMATH DE number 1453081 (Why is no real title available?)	2001-05-01	Paper
scientific article; zbMATH DE number 1163932 (Why is no real title available?)	1998-06-11	Paper
How to define a linear order on finite models Annals of Pure and Applied Logic	1998-01-07	Paper
Almost Everywhere Equivalence of Logics in Finite Model Theory The Bulletin of Symbolic Logic	1997-09-02	Paper
Almost Everywhere Equivalence of Logics in Finite Model Theory The Bulletin of Symbolic Logic	1997-09-02	Paper
The hierarchy theorem for generalized quantifiers Journal of Symbolic Logic	1997-06-15	Paper
scientific article; zbMATH DE number 889883 (Why is no real title available?)	1997-05-25	Paper
The Beth-closure of <i>ℒ</i>(<i>Q<sub>α</sub></i>) is not finitely generated Journal of Symbolic Logic	1993-04-01	Paper

Research outcomes over time

This page was built for person: Kerkko Luosto