World Accessible

Some articles on worlds, world, accessible:

Method Of Analytic Tableaux - Tableaux For Modal Logics
... In a modal logic, a model comprises a set of possible worlds, each one associated to a truth evaluation an accessibility relation tells when a world is ... formula may specify not only conditions over a possible world, but also on the ones that are accessible from it ... As an example, is true in a world if is true in all worlds that are accessible from it ...
Modal Logic - Formalizations - Semantics
... a frame, which consists of a non-empty set, G, whose members are generally called possible worlds, and a binary relation, R, that holds (or not) between the possible worlds of G ... For example, w R v means that the world v is accessible from world w ... the truth-values of all propositions at each of the worlds in G ...

Famous quotes containing the words accessible and/or world:

    The Sage of Toronto ... spent several decades marveling at the numerous freedoms created by a “global village” instantly and effortlessly accessible to all. Villages, unlike towns, have always been ruled by conformism, isolation, petty surveillance, boredom and repetitive malicious gossip about the same families. Which is a precise enough description of the global spectacle’s present vulgarity.
    Guy Debord (b. 1931)

    A trait no other nation seems to possess in quite the same degree that we do—namely, a feeling of almost childish injury and resentment unless the world as a whole recognizes how innocent we are of anything but the most generous and harmless intentions.
    Eleanor Roosevelt (1884–1962)