Editing Kripke semantics (section)

==Computer science applications==
{{main|Kripke structure|state transition system|model checking}}
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 system]]s, which model [[computer program|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)