Philippe Balbiani, Joseph Boudou. Axiomatization and computability of a variant of iteration-free PDL with fork.
Journal of Logic and Algebraic Methods in Programming, Elsevier, 2019, Special issue: SI: DaLí-Dynamic Logics, new trends and applications - Selected contributions, 108, pp.47-68.
⟨10.1016/j.jlamp.2019.06.004⟩.
⟨hal-02378379⟩