TY - BOOK AU - Goldblatt,Robert TI - Logics of time and computation T2 - CSLI lecture notes SN - 9780937073940 U1 - 511.3 22 PY - 1992///] CY - Stanford PB - Center for the Study of Language and Information KW - Modality (Logic) KW - BUEsh KW - COMSCI KW - September2015 KW - November2015 KW - Reading book N1 - Includes bibliographical references and index ER -