Logics of time and computation /
Goldblatt, Robert.
Logics of time and computation / by Robert Goldblatt. - Stanford, Calif. : CSLI Publications, 1987. - ix, 131 p. - CSLI Lecture Notes ; No. 7. .
Includes bibliographical references and index. Contents : Propositional modal logic--Some temporal and computational logics.
0937073113
Modality (Logic).
Language arts--Data processing.
Computational linguistics.
Logics of time and computation / by Robert Goldblatt. - Stanford, Calif. : CSLI Publications, 1987. - ix, 131 p. - CSLI Lecture Notes ; No. 7. .
Includes bibliographical references and index. Contents : Propositional modal logic--Some temporal and computational logics.
0937073113
Modality (Logic).
Language arts--Data processing.
Computational linguistics.