home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / logic / 2634 < prev    next >
Encoding:
Internet Message Format  |  1993-01-25  |  1.5 KB
  1. Xref: sparky sci.logic:2634 comp.lang.prolog:2444 sci.math:18732
  2. Newsgroups: sci.logic,comp.lang.prolog,sci.math
  3. Path: sparky!uunet!pmafire!mica.inel.gov!guinness!opal.idbsu.edu!holmes
  4. From: holmes@opal.idbsu.edu (Randall Holmes)
  5. Subject: Re: Definitive temporal logic source
  6. Message-ID: <1993Jan25.174241.23043@guinness.idbsu.edu>
  7. Sender: usenet@guinness.idbsu.edu (Usenet News mail)
  8. Nntp-Posting-Host: opal
  9. Organization: Boise State University
  10. References: <1993Jan23.114811.28054@city.cs>
  11. Date: Mon, 25 Jan 1993 17:42:41 GMT
  12. Lines: 23
  13.  
  14. In article <1993Jan23.114811.28054@city.cs> mb108@cs.city.ac.uk (omo ADELAKUN T K) writes:
  15. >Can anyone point me to a very good text on temporal logic? In the same
  16. >vein, does anyone know of a temporal logic interpreter (something along
  17. >the lines of Prolog or extensions thereto)?
  18. >
  19. >Thanx for any responses - which I'd prefer to come to me direct so I can 
  20. >post a summary.
  21. >
  22. >Toyin.
  23.  
  24. I won't commit myself on "very good", but the book I have on temporal
  25. and other modal logics is "A Manual of Intensional Logic" (I can't
  26. recall the author) from the Center for the Study of Language and
  27. Information at Stanford.  It seems to have an adequate discussion of
  28. the topic.  E-mail me if you want the author's name later; my terminal
  29. and said book live in different places.
  30.  
  31.  
  32. -- 
  33. The opinions expressed        |     --Sincerely,
  34. above are not the "official"    |     M. Randall Holmes
  35. opinions of any person        |     Math. Dept., Boise State Univ.
  36. or institution.            |     holmes@opal.idbsu.edu
  37.