Logics of time and computation
By: Robert Goldblatt.
Series: CSLI lecture notes ;; no. 7
Publisher: Center for the Study of Language and Information
Published: 1987
Place of publication: Stanford, CA
Language: eng
Number of pages: 131
Subjects: Modality (Logic)
Notes: Bibliography: p. 123-126.
Includes index.