home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / logic / 1383 < prev    next >
Encoding:
Internet Message Format  |  1992-09-11  |  1.1 KB

  1. Xref: sparky sci.logic:1383 sci.philosophy.tech:3177
  2. Path: sparky!uunet!spool.mu.edu!agate!dog.ee.lbl.gov!network.ucsd.edu!galaxy!ucru1!atristan
  3. From: atristan@ucru1.ucr.edu (Andrew Tristan)
  4. Newsgroups: sci.logic,sci.philosophy.tech
  5. Subject: First Order Tense Logics
  6. Message-ID: <22351@galaxy.ucr.edu>
  7. Date: 11 Sep 92 23:37:48 GMT
  8. Sender: news@galaxy.ucr.edu
  9. Followup-To: sci.logic
  10. Organization: University of California, Riverside
  11. Lines: 16
  12. Nntp-Posting-Host: ucru1
  13.  
  14. I'm posting this one more time, as I got no response last time. 
  15. Excuse the crossposting.
  16.  
  17. I am looking for references to anything on first-order systems of 
  18. intensional tense logic, which use interval based semantics.   
  19.  
  20. I have plenty of stuff on instant based-semantics (sentential/quantified),
  21. and plenty on interval-based semantics for sentential systems, but
  22. I have been unable to locate *anything* on first-order systems which
  23. use interval based semantics.
  24.  
  25. Thanks in advance,
  26. -- 
  27. Andrew Tristan             | He who fights with monsters should look
  28. atristan@ucru1.ucr.edu     | to it that he himself does not become
  29. atristan@ucrvms            | a monster.  - FN
  30.