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 manner similar to
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
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
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 come back in
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 box, D =
diamond = not
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 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 (a
7 matches
Mail list logo