Logics of time and computation - Goldblatt, Robert (Menlo Park Csli, 1992)
Keywords: Modality (Logic)