A compositional proof system for the modal -calculus (1994)

by Henrik R Andersen, Colin Stirling, Glynn Winskel
Venue:In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science