@Cat Seminar

Speaker: Kohei Kishida (Dalhousie)

Title:  An Allegorical Semantics of Modal Logic

Abstract:
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.

Category

All Events

Time

Starts:
Ends:

Location

#319 Colloquium Room. Chase Building