George Levy wrote:
>
>So far so good
:-)
>sorry with the delay
*I*'m sorry for the delay, and the forthcoming delays (!).
>let's move ahead...
OK.
>just a
>question:
I will first answer your question and then proceed.
>
>>>A realist world is one with access to at least one t
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 fram
George Levy wrote:
>Reflexive, Transitive and Symmetric applies only to the relation R that
>define accessibility.
Exactly.
>So:
>
>Reflexive:
>
>W >|
> <--|
I will assume this is a courageous attempt to draw a curl loop. Nice.
>Transitive:
>
>W1 --> W2 > W3
Yes.
Reflexive, Transitive and Symmetric applies only to the relation R that define
accessibility. So:
Reflexive:
W >|
<--|
Transitive:
W1 --> W2 > W3
Symmetric
W1 <-> W2
And the Goedel-like formula
<>p --> -[]<>p
means: if p is true in at least one world accessed
George Levy wrote:
>I am not sure if you gave a definition of reflexive,
>transitive and symmetric.
I have. (http://www.escribe.com/science/theory/m2689.html) :-)
But there is no problem with repetition.
The real problem is with the absence of pictures
Please take a pencil and try to tr
5 matches
Mail list logo
