Alberto Zanardo José Carmo Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL. 249-268 1993 3 J. Log. Comput. 3 db/journals/logcom/logcom3.html#ZanardoC93