TY  - BOOK
AU  - Goldblatt, Robert
TI  - Logics of time and computation
SN  - 9780937073940
U1  - 160 
PY  - 1992///
CY  - Menlo Park
PB  - Csli
KW  - Modality (Logic)
ER  -