home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / logic / 2637 < prev    next >
Encoding:
Internet Message Format  |  1993-01-25  |  1.6 KB
  1. Xref: sparky sci.logic:2637 comp.lang.prolog:2450 sci.math:18750
  2. Path: sparky!uunet!olivea!charnel!psgrain!ee.und.ac.za!ucthpx!elc.mth.uct.ac.za!gavan
  3. From: gavan@elc.mth.uct.ac.za (Gavan Tredoux)
  4. Newsgroups: sci.logic,comp.lang.prolog,sci.math
  5. Subject: Re: Definitive temporal logic source
  6. Message-ID: <1993Jan25.223842.26309@ucthpx.uct.ac.za>
  7. Date: 25 Jan 93 22:38:42 GMT
  8. References: <1993Jan25.174241.23043@guinness.idbsu.edu>
  9. Sender: news@ucthpx.uct.ac.za (UCT News Admin.)
  10. Organization: University of Cape Town
  11. Lines: 29
  12. X-Newsreader: Tin 1.1 PL4
  13.  
  14. holmes@opal.idbsu.edu (Randall Holmes) writes:
  15. : In article <1993Jan23.114811.28054@city.cs> mb108@cs.city.ac.uk (omo ADELAKUN T K) writes:
  16. : >Can anyone point me to a very good text on temporal logic? In the same
  17. : >vein, does anyone know of a temporal logic interpreter (something along
  18. : >the lines of Prolog or extensions thereto)?
  19. : >
  20. : >Thanx for any responses - which I'd prefer to come to me direct so I can 
  21. : >post a summary.
  22. : >
  23. : >Toyin.
  24. : 
  25. : I won't commit myself on "very good", but the book I have on temporal
  26. : and other modal logics is "A Manual of Intensional Logic" (I can't
  27. : recall the author) from the Center for the Study of Language and
  28. : Information at Stanford. 
  29.  
  30. N. Rescher and ? Urquhart, Temporal Logic, 1977 Just look for
  31. Rescher in your lib catalogue.
  32.  
  33. F. Kr\"oger, Temporal Logic of Programs, Springer, 1988
  34.  
  35. R. Goldblatt, Logics of Time and Computation, CLSI, 1987
  36.  
  37. There is a programming language that is to temporal logic
  38. what prolog is to first order logic. Try anon ftp to
  39. m1.cs.man.ac.uk and have a look in pub/TRS.
  40.  
  41. Gavan Tredoux
  42. UCT
  43.