Le 05-mars-08, à 10:19, <[EMAIL PROTECTED]> a écrit :
>
> Bruno Marchal <[EMAIL PROTECTED]> wrote:
>> logic B (KTB) can be used to capture a notion of vagueness, and, by a
>
>> theorem of Goldblatt, it can be used to formalise classicaly a
> minimal
>> form of von Neuman quantum logic in a manne
Bruno Marchal <[EMAIL PROTECTED]> wrote:
> logic B (KTB) can be used to capture a notion of vagueness, and, by a
> theorem of Goldblatt, it can be used to formalise classicaly a
minimal
> form of von Neuman quantum logic in a manner similar to the way the
> modal logic S4, or S4Grz, capture int
Le 04-mars-08, à 13:20, <[EMAIL PROTECTED]> a écrit :
>
>> The idea is to identify an accessible world with possible results of
>> experiments. Symmetry then entails that if you do an experiment which
>> gives some result, you can repeat the experience and get those results
>> again. You can com
> The idea is to identify an accessible world with possible results of
> experiments. Symmetry then entails that if you do an experiment which
> gives some result, you can repeat the experience and get those results
> again. You can come back in the world you leave. It is an intuitive and
> inf
Le 03-mars-08, à 12:39, <[EMAIL PROTECTED]> a écrit :
> You wrote that 'B is valid in the frames where "result
> of experience" can be verified or repeated'. Can you
> be more explicit because I cannot see the relation
> with the fact that the accessibility relation is
> reflexive and symmetric
Dear Bruno,
Thank you for your reply.
You wrote that 'B is valid in the frames where "result
of experience" can be verified or repeated'. Can you
be more explicit because I cannot see the relation
with the fact that the accessibility relation is
reflexive and symmetric (a proximity relation).
I
Le 29-févr.-08, à 04:55, Zone a écrit :
>
> Does anyone know of an intuitive interpretation of the modality in the
> modal logic KTB (a.k.a .B)?
Do you know Kripke models and frames? A class of Kripke frames where T
( Bp -> p) and B, i.e. p -> BDp ) are valid (with B = the bo
Does anyone know of an intuitive interpretation of the modality in the
modal logic KTB (a.k.a .B)?
--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email
8 matches
Mail list logo
