Speaker: Kohei Kishida (Dalhousie)
Title: An Allegorical Semantics of Modal Logic
Modal logic has a very successful semantics called Kripke semantics, in terms of binary relations. This talk provides this semantics with a
structural reformulation and extension, by taking advantage of the categorical approach to binary relations in terms of allegories. Our goal is two-fold: On the one hand, we will identify structural essences behind successful insights in the model theory of Kripke semantics, such
as bisimulation invariance, correspondence theory, and duality theory. On the other, we will also show how Kripke semantics and these insights can be extended uniformly to relations that are based on not just sets
and Boolean logic.
#319 Colloquium Room. Chase Building@Cat Seminar