2016-11-16: Johannes Marti (MSP)

Tue, 14 Oct 2025 16:51:42 +0000

Johannes Marti (MSP)

MSP 101: Modal logic

Abstract

Modal logic provides a simple, yet surprisingly powerful, language for specifying properties of coalgebras. In this talk I introduce the basic modal logic that is interpreted on relational structures. My aim is to provide an idea how modal logic relates to other logics, such as first-order and intuitionistic logic, and to the duality between algebraic and coalgebraic structures.

If time permits, I might also give a very informal warm-up for the modal mu-calculus which is the topic of next week's talk.

2016-11-16 11:00:00 UTC
LT1310