The completeness of propositional dynamic logic (1978)

by R Parikh
Venue:In Mathematical Foundations of Computer Science