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