home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / logic / 2635 < prev    next >
Encoding:
Internet Message Format  |  1993-01-25  |  1.4 KB
  1. Xref: sparky sci.logic:2635 comp.lang.prolog:2448 sci.math:18747
  2. Path: sparky!uunet!charon.amdahl.com!pacbell.com!ames!saimiri.primate.wisc.edu!zaphod.mps.ohio-state.edu!howland.reston.ans.net!usc!cs.utexas.edu!tamsun.tamu.edu!kbssun1.tamu.edu!cmenzel
  3. From: cmenzel@kbssun1.tamu.edu (Chris Menzel)
  4. Newsgroups: sci.logic,comp.lang.prolog,sci.math
  5. Subject: Re: Definitive temporal logic source
  6. Date: 25 Jan 1993 23:08:57 GMT
  7. Organization: Texas A&M University, College Station, TX
  8. Lines: 18
  9. Message-ID: <1k1ru9INNlhg@tamsun.tamu.edu>
  10. References: <1993Jan25.174241.23043@guinness.idbsu.edu>
  11. NNTP-Posting-Host: kbssun1.tamu.edu
  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. It's by Johan van Bentham; it's nice, but a much more complete source
  31. is his Reidel book The Logic of Time.
  32.