2015 Period 2-2 I236: Logical Reasoning and Knowledge Representation

Contents

Lecturers

Nguyen Minh Le and Katsuhiko Sano

I will give three lectures on modal logic on 21st December 2015, 6th and 13th January 2016.

2016/01/13 (Wed.)

We will discuss decidability of modal logics and syntax, Kripke semantics and tableau calculus for Priorian tense logic.
- Slides of 3rd lecture

2016/01/06 (Wed.)

We discussed Hilbert-style axiomatizations of minimal modal logic K and its extensions, and tableau calculi for extensions of minimal modal logic K.
- Slides of 2nd lecture

2015/12/21 (Mon.)

We introduced the syntax of modal logic, Kripke semantics for that, and tableau calculus for modal logic.
- Slides of 1st lecture