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:
“Family life is not a computer program that runs on its own; it needs continual input from everyone.”
—Neil Kurshan (20th century)
“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)