Old (2017) BACAT slides

I'm pretty useless at keeping track of what I have and have not done and when. So here are the slides from when I talked in BACAT in Sept 2017 about Temporal Logic, "Doing Time, Categorically".

This was a paper with my collaborator Harley Eades III for a special issue of the IfColog Journal in honour of Grigori Mints. I feel that I need to improve on this paper and I also need to carry on with the project of constructive modal logics, but not now, as other requests on my time are taking precedence.