Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork.

Philippe Balbiani, Joseph Boudou

Browse the full TABLEAUX paper archive.