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

Lecture Notes in Computer Science - Dynamic Logic. New Trends and Applications ◽

10.1007/978-3-319-73579-5_2 ◽

2018 ◽

pp. 17-34 ◽

Author(s):

Philippe Balbiani ◽

Joseph Boudou

Download Full-text