Title: Logics of time and computation
First published: 1987
Subjects: Modality (Logic), Time, Computational linguistics
LC classification: QA9.46 .G65 1987