Modal and temporal logic (1992)

by C Stirling
Venue:In Handbook of Logic in Computer Science