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