I recently gave a talk about the main points of my MFPS ’12 paper. The title of the talk was *Categorical Models for Two Intuitionistic Modal Logics*. Continue reading

# Talk about categorical models of temporal logic and FRP

1 Reply

1 Reply

*Categorical Models for Two Intuitionistic Modal Logics*. Continue reading

I recently gave an introduction to category theory at the Institute of Cybernetics. This crash course introduced several of the basic categorical notions that are of interest from a computer science and logic perspective, while assuming no previous knowledge about category theory. Everything necessary to understand my upcoming talk about categorical models of modal logics was covered. Continue reading