First Order Tense Logics

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Andrew Tristan Fri, 11 Sep 1992 23:37

#167

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads