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