home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / logic / 2636 < prev    next >
Encoding:
Internet Message Format  |  1993-01-25  |  711 b 
  1. Xref: sparky sci.logic:2636 comp.lang.prolog:2449 sci.math:18749
  2. Newsgroups: sci.logic,comp.lang.prolog,sci.math
  3. Path: sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!CS.Stanford.EDU!iam
  4. From: iam@CS.Stanford.EDU (Ian A. Mason)
  5. Subject: Re: Definitive temporal logic source
  6. Message-ID: <1993Jan26.000525.24988@CSD-NewsHost.Stanford.EDU>
  7. Sender: news@CSD-NewsHost.Stanford.EDU
  8. Organization: Computer Science Department, Stanford University
  9. References: <1993Jan25.174241.23043@guinness.idbsu.edu> <1k1ru9INNlhg@tamsun.tamu.edu>
  10. Date: Tue, 26 Jan 1993 00:05:25 GMT
  11. Lines: 2
  12.  
  13. there is also another book in the csli series that is relevant,
  14. namely goldblatt's (second edition of) logics of time and computation.
  15.