Instituut voor Taal, Logika en Informatie (ITLI) Series (1986-1987)

ITLI-1986-05:
Kenneth A. Bowen, Dick de Jongh Some Complete Logics for Branched Time, Part I: Well-founded Time, Forward looking Operators
1.Full Text.