x !
Archived Curricula Guide 2011–2012
Curricula Guide is archieved. Please refer to current Curricula Guides
MATES53 Advanced Modal Logic 5 ECTS
Organised by
Person in charge
Lauri Hella
Preceding studies

Learning outcomes

To deepen student's knowledge in the proof theory of modal logic and to familiarise oneself with the definability theory of modal logic. After this course the student is able to, for example, examine if a given formula of modal logic is true/valid in a given model/frame/class of frames. The student will also understand how bisimulation is used as a tool when investigating the definability of classes of models and classes of frames.


Completeness theorems for modal systems; bisimulation and modal equivalence; tree models and finite models; frame definability; correspondence theory; disjoint unions, generated submodels and p-morphic images.

Modes of study


Numeric 1-5.

Study materials

  1. Rantala, V., Virtanen, A., Johdatus modaalilogiikkaan. Gaudeamus 2004.
  2. Blackburn, P., de Rijke, M., Venema, Y., Modal Logic. Cambridge University Press 2002.

Belongs to following study modules

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