Re: Kripke semantics

From: George Levy <GLevy.domain.name.hidden>
Date: Mon, 23 Apr 2001 17:42:12 -0700

So far so good.... sorry with the delay.... let's move ahead... just a question:

>>A realist world is one with access to at least one terminal
>>world. w---->w1 --|


>You mean a realist frame, I guess.

A frame is a set of world. Therefore, I would expect a frame to be in a different
classification level than a world. Hence a connection from a frame to world may
not be appropriate. How about talking about connection from any world within a
frame to a world. So the above statement would become:

"Any world belonging to a realist frame is a world with access to at least one
terminal world."

George
Received on Mon Apr 23 2001 - 17:51:39 PDT