Computer Science Applications
In modeling a computation, a 'possible world' can be a possible computer state. Given the current computer state, you might define the accessible possible worlds to be all future possible computer states, or to be all possible immediate "next" computer states (assuming a discrete computer). Either choice defines a particular 'accessibility relation' giving rise to a particular modal logic suited specifically for theorems about the computation.
Read more about this topic: Accessibility Relation
Famous quotes containing the words computer and/or science:
“The archetype of all humans, their ideal image, is the computer, once it has liberated itself from its creator, man. The computer is the essence of the human being. In the computer, man reaches his completion.”
—Friedrich Dürrenmatt (1921–1990)
“Imagination could hardly do without metaphor, for imagination is, literally, the moving around in one’s mind of images, and such images tend commonly to be metaphoric. Creative minds, as we know, are rich in images and metaphors, and this is true in science and art alike. The difference between scientist and artist has little to do with the ways of the creative imagination; everything to do with the manner of demonstration and verification of what has been seen or imagined.”
—Robert A. Nisbet (b. 1913)