On 9/20/2012 2:05 AM, Bruno Marchal wrote:

A modal logic of probability is given by the behavior of the "probability one". InKripke terms, P(x) = 1 in world alpha means that x is realized in all worlds accessiblefrom alpha, and (key point) that we are not in a cul-de-sac world.

## Advertising

`What does 'accessible' mean? Generally speaking a different world is defined as not`

`accessible. If you can go there, it's part of your same world.`

Brent

This gives KD modal logics, with K: = [](p -> q)->([]p -> []q), and D: []p -> <>p. Ofcourse with "[]" for GĂ¶del's beweisbar we don't have that D is a theorem, so we ensurethe D property by defining a new box, Bp = []p & <>t.

-- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.