Computer Science Applications
Blackburn et al. (2001) point out that because a relational structure is simply a set together with a collection of relations on that set, it is unsurprising that relational structures are to be found just about everywhere. As an example from theoretical computer science, they give labeled transition systems, which model program execution. Blackburn et al. thus claim because of this connection that modal languages are ideally suited in providing "internal, local perspective on relational structures." (p. xii)
Read more about this topic: Kripke Semantics
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)
“It is unheard-of, uncivilized barbarism that any woman should still be forced to bear such monstrous torture. It should be remedied. It should be stopped. It is simply absurd that, with our modern science, painless childbirth does not exist as a matter of course.... I tremble with indignation when I think of ... the unspeakable egotism and blindness of men of science who permit such atrocities when they can be remedied.”
—Isadora Duncan (1878–1927)