Talk about categorical models of temporal logic and FRP

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. I first discussed categorical models of intuitionistic S4 based on earlier work by Kobayashi as well as Bierman and de Paiva. I then showed how these models can be extended to become categorical models of an intuitionistic temporal logic with linear time. Since there is a Curry–Howard correspondence between temporal logic and FRP, such models can also serve as models of FRP. The slides of the talk are now online.

Advertisements

One thought on “Talk about categorical models of temporal logic and FRP

  1. Pingback: Slides of my MFPS talk now online « Wolfgang Jeltsch

When replying to another comment, please press that comment’s “Reply” button.

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s