Logics of time and computation /
Goldblatt, Robert.
Stanford, CA : Center for the Study of Language and Information,
c1992.
Includes bibliographical references and index.
Modality (Logic)