Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL.

Philippe Balbiani, Emiliano Lorini

Browse the full WoLLIC paper archive.