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. < Back