Juha Kontinen, Ph.D.
Research Interests
Finite model theory, in particular generalized quantifiers and descriptive complexity theory.
Publications
Second-order generalized quantifiers and natural language. Proceedings of the Seventh ESSLLI Student Session. 2002.
Definability of second-order generalized quantifiers (Doctoral thesis).
pdf
.
The hierarchy theorem for second-order generalized quantifiers. Journal of Symbolic Logic, 71(1):188-202, 2006.
Definability of second order generalized quantifiers. To appear in Archive for Mathematical Logic.
Preprint
available.
A logical characterization of the counting hierarchy. ACM Transactions on Computational Logic, 10(1), 2009.
Extensions of MSO and the monadic counting hierarchy (with Hannu Niemistö). Submitted.
Preprint
available (revised in March 2009).
On Definability in Dependence Logic (with Jouko Väänänen). Journal of Logic, Language and Information, 18(3):317-332, 2009.
A remark on collective quantification (with Jakub Szymanik). Journal of Logic, Language and Information, 17(2):131-140, 2008.
On Second-Order Monadic Groupoidal Quantifiers (with Heribert Vollmer). Proceedings of WoLLIC 2008. Springer Lecture Notes in Computer Science 5110, 2008.
Team Logic and Second-Order Logic (with Ville Nurmi). Proceedings of WoLLIC 2009. Springer Lecture Notes in Computer Science 5514, 2009.
Regular Representations of Uniform TC^0 (with Lauri Hella ja Kerkko Luosto). Submitted.
Contact info
Address:
Dept. of Mathematics and Statistics (Room B316)
P.O.Box 68 (Gustaf Hällströmin katu 2b),
FIN-00014 Helsinki.
Tel:
+358-9-191 51314
Email:
juha.kontinen (at) helsinki.fi