Temporal logic (2006)

by I Hodkinson, M Reynolds
Venue:In Handbook of Modal Logic