Philippe Balbiani, Joseph Boudou. Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. In Alexandre Madeira, Mário Benevides, editors, Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Volume 10669 of Lecture Notes in Computer Science, pages 17-34, Springer, 2017. [doi]
Abstract is missing.