The completeness of propositional dynamic logic (1978)

by R Parikh
Venue:Proceedings of the Seventh Symposium on the Mathematical Foundations of Computer Science