Logics of time and computation /
Goldblatt, Robert.
Stanford, CA : Center for the Study of Language and Information,
c1987.
Includes index.
Bibliography: p. 123-126.
Modality (Logic)