Title: Logics of Time and Computation
First published: September 1, 1992
Subjects: Modality (Logic), Language arts, data processing, Computational linguistics