Lecturers:

Syunsuke YATABE (AIST)

Yuko MURAKAMI (University of Tohoku)

Topics:

A basic knowledge of non-classical logic and introductions to some advanced issues

Dates:

10/30, 11/6, 11/20, 11/27  16:30-18:00

( at the building No. 8 )

10/30

Substructural logics and its hierarchy (YATABE)

11/6

Theories of substractural logics (YATABE)

11/20

A System of modal logic and its model (MURAKAMI)

11/27

Semantics of modal logic (MURAKAMI)