JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic

Learning and Dynamic Logic

  • Time: 13:30-16:05, June 29th – July 3rd
  • Location: Jianhua Building A308（建华/经管新楼A308）
  • Lecturer: Nina Gierasimczuk (Danish Technical University)
  • Teaching Assistants: 欧阳文飞（wenfeiouyang@gmail.com），马郅真（mzz25@mails.tsinghua.edu.cn）
Nina Gierasimczuk

Course Description

Topological semantics for epistemic logic provides an elegant and natural way to model not only knowledge and belief within a (modal) logical framework, but also the evidence upon which knowledge and belief are based. In this course, we investigate various topological approaches to epistemic logic. We explore topological spaces as information structures naturally suited to modeling evidence and its relationship to knowledge and belief. We focus mainly on the recent developments in the field, elaborate on the conceptual arguments behind using topological spaces as formal models for epistemic logic, and study the technical details of relevant (meta)-logical results. Topics to be covered include:

  • basic notions in topology and how they relate to important notions in epistemology.
  • the interior-based topological semantics for modal/epistemic logic.
  • topological evidence models.
  • subset space semantics, topo-logic, and their extensions.

At the end of the course, we will provide an overview of recent developments in the field, highlighting open questions and further avenues for investigation.