Article View: sci.logic
Article #613Re: Definitive temporal logic source
From: Chris Menzel
Date: Mon, 25 Jan 1993 23:08
Date: Mon, 25 Jan 1993 23:08
18 lines
1413 bytes
1413 bytes
holmes@opal.idbsu.edu (Randall Holmes) writes: : In article <1993Jan23.114811.28054@city.cs> mb108@cs.city.ac.uk (omo ADELAKUN T K) writes: : >Can anyone point me to a very good text on temporal logic? In the same : >vein, does anyone know of a temporal logic interpreter (something along : >the lines of Prolog or extensions thereto)? : > : >Thanx for any responses - which I'd prefer to come to me direct so I can : >post a summary. : > : >Toyin. : : I won't commit myself on "very good", but the book I have on temporal : and other modal logics is "A Manual of Intensional Logic" (I can't : recall the author) from the Center for the Study of Language and : Information at Stanford. It's by Johan van Bentham; it's nice, but a much more complete source is his Reidel book The Logic of Time.
Technical Details
Message-ID:
<1k1ru9INNlhg@tamsun.tamu.edu>Path:
arc1-ca.pugleaf.net!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!cmenzelReferences:
<1993Jan25.174241.23043@guinness.idbsu.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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 From: cmenzel@kbssun1.tamu.edu (Chris Menzel) Newsgroups: sci.logic,comp.lang.prolog,sci.math Subject: Re: Definitive temporal logic source Date: 25 Jan 1993 23:08:57 GMT Organization: Texas A&M University, College Station, TX Lines: 18 Message-ID: <1k1ru9INNlhg@tamsun.tamu.edu> References: <1993Jan25.174241.23043@guinness.idbsu.edu> NNTP-Posting-Host: kbssun1.tamu.edu X-Newsreader: Tin 1.1 PL4