Modal and temporal logics (1992)

by Colin Stirling
Venue:Handbook of Logic in Computer Science, Vol. II