Combining linear and temporal logic

Wolfgang Jeltsch

Institute of Cybernetics at TUT

Thursday, 20 June 2013, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101

Abstract: In my previous seminar talk I showed how interaction between linear and non-linear logic can be modeled using adjunctions. In this talk, I show that interaction between temporal and non-temporal logic can be modeled in an analogous way. I furthermore describe how combining linear and temporal adjunctions leads to a logic that is both linear and temporal. This logic corresponds to a variant of functional reactive programming with support for mutable state.

Tarmo Uustalu
Last update 13.6.2013