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 computer takes up where psychoanalysis left off. It takes the ideas of a decentered self and makes it more concrete by modeling mind as a multiprocessing machine.”
—Sherry Turkle (b. 1948)
“The belief that established science and scholarship—which have so relentlessly excluded women from their making—are “objective” and “value-free” and that feminist studies are “unscholarly,” “biased,” and “ideological” dies hard. Yet the fact is that all science, and all scholarship, and all art are ideological; there is no neutrality in culture!”
—Adrienne Rich (b. 1929)