Reference. Putting the Past Behind Us (but not forgetting it) [oconnor-2024-wg21]

In this talk I demonstrated how the well known Zipper structure of Huet, later generalised by McBride, can be used to equip any modal logic with inverse modalities. In particular, this allows us to equip any temporal logic, including CTL, with a notion of linear past.