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:
“Family life is not a computer program that runs on its own; it needs continual input from everyone.”
—Neil Kurshan (20th century)
“We would be a lot safer if the Government would take its money out of science and put it into astrology and the reading of palms.... Only in superstition is there hope. If you want to become a friend of civilization, then become an enemy of the truth and a fanatic for harmless balderdash.”
—Kurt Vonnegut, Jr. (b. 1922)