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

Research

Finite Model Theory

Finite Model Theory can be shortly described as the study of finite mathematical structures, such as graphs, trees, Boolean algebras and Kripke models, by means of expressibility of their properties in various logical languages. It is strongly interdisciplinary as a research area: it uses methods from combinatorics and other discrete mathematics, and it has direct applications to areas of theoretical computer science, most notably complexity theory and database theory. » more

Dependence Logic/IF Logic

Dependence logic is the logic of functional dependence and has applications to database theory. It is closely related to independence-friendly logic (IF logic). Both are conservative extensions of first-order logic that have the same expressive power as existential second-order logic. » more

Modal Logic

The formal study of modal notions, such as possibility and necessity, has a long history, reaching back all the way to Aristotle. During the latter half of the 20 century, modal logic has developed fast, and currently the field has a wide range of applications in different disciplines, ranging from computer science to economics. Modal logic, especially its connections to finite model theory, is one of the main topics studied by the logic group at UTA. » more

 
Maintained by: webmaster@uta.fi
Last update: 25.12.2011 12.30 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