About

Tampere Logic Group research topics:

• Finite model theory and logic in computer science
• Modal logic and its variants
• Team semantics and dependence logics
• Many-valued logics

Group publication list in DBLP