x !
Archived Curricula Guide 2011–2012
Curricula Guide is archieved. Please refer to current Curricula Guides
MATEA20 Introduction to Modal Logic 5–8 ECTS

Learning outcomes

To familiarize oneself with the topics mentioned in the contents.


Brief revision of propositional logic, relations, induction in proportion to the length of formula, evidence theory, modal propositional logic, Kripke semantics, completeness results.

Teaching methods

Lectures and weekly exercises. The amount of tuition depends on the number of credits awarded for the course.

Teaching language


Modes of study


Numeric 1-5.

Recommended year of study

2nd or 3rd year

Study materials

Rantala, V., Virtanen, A., Johdatus modaalilogiikkaan. Gaudeamus 2004.

Belongs to following study modules

School of Information Sciences
Archived Teaching Schedule. Please refer to current Teaching Shedule.
School of Information Sciences