On a modal -calculus for S4 (1995)

by Frank Pfenning, Hao-Chi Wong
Venue:In 11th Conference on Mathematical Foundations of Programming Semantics