Modal and temporal logics (1991)

by C Stirling
Venue:Handbook of Logic in Computer Science