To page body
university of tampere: sis/luo-coms: research: cis - the tampere research center for information and systems: research groups: logic group:
Faculties of Natural and Communication SciencesUniversity of TampereFaculties of Natural and Communication Sciences
CIS - The Tampere Research Center for Information and Systems

Recent Publications

P. Galliani and A.L. Mann. Lottery semantics: A compositional semantics for probabilistic first-order logic with imperfect information. Accepted for publication in Studia Logica.

A. Kuusisto. Expressivity of imperfect information logics without identity. Accepted for publication in Studia Logica.

J. Kontinen, A. Kuusisto, P. Lohmann and J. Virtema. Complexity of two-variable Dependence Logic and IF-Logic. Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 289-298, 2011.

A. Kuusisto. Modal Fragments of Second-Order Logic. PhD thesis, Acta Universitatis Tamperensis, University of Tampere, 2011.

A.L. Mann, G. Sandu and M. Sevenster. Independence-Friendly Logic: A Game-Theoretic Approach. London Mathematical Society Lecture Note Series, Cambridge University Press, 2011.

P. Galliani and A.L. Mann. Lottery semantics. Kontinen and Väänänen eds., Proceedings of the ESSLLI Workshop on Dependence and Independence in Logic, 2010.

A. Kuusisto. Logics of Imperfect Information without Identity. Kontinen and Väänänen eds., Proceedings of the ESSLLI Workshop on Dependence and Independence in Logic, 2010.

L.~Hella ja A.~Kuusisto. Monadic $\Sigma^{1}_{1}$ and modal logic with 
quantified binary relations. \book{Proceedings of Methods for Modalities 6}, 2009.

L. Hella and A. Kuusisto. Monadic Sigma^1_1 and modal logic with quantified binary relations. Proceedings of Methods for Modalities 6, 2009.

M. Couceiro, L. Hella and J. Kivelä. Term definable classes of Boolean functions and frame definability in modal logic. Logic Journal of the Interest Group in Pure and Applied Logics, 16:43-73, 2008.

L. Hella, M. Sevenster and T. Tulenheimo. Partially ordered connectives and monadic monotone strict NP. Journal of Logic, Language and Information, 17:323-344, 2008.

A. Kuusisto. A modal perspective on monadic second-order alternation hierarchies. Proceedings of Advances in Modal Logic, 7:231-247, 2008. 

S. Lehtinen. Generalizing the Goldblatt-Thomason Theorem and Modal Definability. PhD thesis, Acta Universitatis Tamperensis, University of Tampere, 2008.

L. Hella and J.M. Turull-Torres. Computing queries with higher order logics. Theoretical Computer Science, 355:197-214, 2006.

L. Hella and J.M. Turull-Torres. Complete problems for higher order logics. Proceedings of the 15th Annual Conference of the EACSL (CSL'06), 380-394, 2006.

K. Lemstrom and L. Hella. Approximate pattern matching and transitive closure logic. Theoretical Computer Science, 299:387-412, 2003.

L. Hella, L. Libkin, J. Nurmonen and L. Wong. Logics with aggregate operators. Journal of the ACM, 48:880-907, 2001.

 
Maintained by: webmaster@uta.fi
Last update: 30.1.2012 18.24 Muokkaa

University of Tampere
+358 3 355 111
registry@uta.fi


FINEEC Audited HR Excellence in Research

THE UNIVERSITY
Research
Admissions
Studies
News
Cooperation and Services
About Us

CURRENT ISSUES
Research & Study
Tampere3
Vacancies

SERVICES
Administration
Career Services
Finnish Social Science Data Archive
Centre for International Education
IT services
Language Centre
Language Services
Library
Registrar's Office
Registry
Sports Activities
» more

STUDIES
Teaching schedules
Curricula guides
Student's Desktop

ONLINE SERVICES
Andor search
Renew your loans
UTA intranet
Office 365 webmail
Uta webmail
Moodle
NettiOpsu
NettiKatti
TamPub
Electronic exam service
Examination results