Speaker: Lingyuan Ye
Date and Time: Thursday, October 6th 2022, 16:30-18:00
Venue: F1.15 and online.
Title: Unification of Semantics of Modal Logic via Topological Categories
Abstract. In this talk we will provide a unifying description of different types of semantics of modal logic found in the literature, via topological categories. In particular, we will show how the natural extensions of basic modal logic, including multi-agency, epistemic dependence, group agency, and logical dynamics, could be naturally associated to various semantic structures within topological categories. The unifying description and such correspondence would allow us to generalise the interpretation of these extensions simultaneously to any semantics of modal logic, and prove certain structural results about them in the style of categorical logic.