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:
“What, then, is the basic difference between today’s computer and an intelligent being? It is that the computer can be made to see but not to perceive. What matters here is not that the computer is without consciousness but that thus far it is incapable of the spontaneous grasp of pattern—a capacity essential to perception and intelligence.”
—Rudolf Arnheim (b. 1904)
“He has been described as “an innkeeper who hated his guests, a philosopher, and poet who left no written record of his thought, a despiser of women who gave all he had to one, an aristocrat, a proletarian, a pagan, an arcadian, an atheist, a lover of beauty, and, inadvertently, the stepfather of domestic science in America.””
—Administration in the State of Colo, U.S. public relief program (1935-1943)