Summer school in dynamic epistemic logic and its applications (Sapporo, Japan)

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from University of Auckland and ILLC (University of Amsterdam) from August 20 to August 31 as part of Hokkaido Summer Institute (HSI) 2018.

The following two intensive courses are scheduled to be offered during the summer school.

Course 1 (20/Aug/2018 – 24/Aug/2018): Introduction to Logic (For details, see
Course 2 (27/Aug/2018 – 31/Aug/2018): Dynamic Epistemic Logic and its Applications (For details, see

The main lecturer of Course 1 is Katsuhiko Sano  (Department of Philosophy, Hokkaido University).
The main lecturer of Course 2 is Jeremy Seligman (Faculty of Arts, School of Humanities, the University of Auckland).

There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Tomoyuki Yamada and Yasushi Nomura (Hokkaido University) will also join the classes to help students follow the lectures, and communicate with the lecturers.

The courses are intended for graduate students. Course 1 is meant for students without prior knowledge of logic and will prepare them for Course 2.

Each course is designed to be independent from the other course. Those students who have some familiarity with basics of propositional logic, first-order logic, and modal logic can skip Course 1, and those who wish to take only Course 1 can learn basics of logic.

An application period for students from universities other than Hokkaido University is from February 1 to February 28 2018.

For more details about applications, please check the HSI official website:

As the summer in Sapporo is beautiful and pleasant, it’s a good idea to learn logic this summer in Sapporo.