A complete modal proof system for a subset of SCCS (1985)

by Colin Stirling
Venue:of Lecture Notes in Computer Science