First Order Tense Logics

Article View: sci.logic

Article #167

#167

From: Andrew Tristan
Date: Fri, 11 Sep 1992 23:37

16 lines
1113 bytes

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

Technical Details

Message-ID: <22351@galaxy.ucr.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!agate!dog.ee.lbl.gov!network.ucsd.edu!galaxy!ucru1!atristan

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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