Dear all,
We will have our next LIRa session tomorrow, on Thursday, 6 October 16:30.
This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723)
You can find the details of the talk below.
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.
Hope to see you there!
The LIRa team