On a modal -calculus for S4 (1995)

by F Pfenning, H-C Wong
Venue:Proceedings of the Eleventh Conference on Mathematical Foundations of Programming Semantics