Modal and Temporal Logics (1992)

by C Stirling
Venue:Handbook of Logic in Computer Science