Institute of Cybernetics at TUT
Thursday, 10 May 2012, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Slides from the talk [pdf]
Abstract: Modal logics allow one to deal with such things as possibility, belief, and temporal phenomena. S4 is an important modal logic, which is based on classical reasoning. Intuitionistic variants of S4 and categorical semantics for them have been developed by different authors during the last two decades. In this talk, I present a categorical semantics for an intuitionistic S4 variant, which is based on these works. I then show how additional structure turns this semantics into a semantics for an intuitionistic temporal logic with a linear notion of time.