Situation theory is a mathematical and logical framework for modelling information, partial states of affairs and their structure. It was introduced in the early 1980s as the formal background for situation semantics developed by Jon Barwise and John Perry, and has since been elaborated by authors such as Keith Devlin, Jeremy Seligman and Lawrence S. Moss into a general theory of information and information flow.
Situation theory is a mathematical and logical framework for modelling information, partial states of affairs and their structure. It was introduced in the early 1980s as the formal background for situation semantics developed by Jon Barwise and John Perry, and has since been elaborated by authors such as Keith Devlin, Jeremy Seligman and Lawrence S. Moss into a general theory of information and information flow.
Source: Wikipedia "Situation theory" · CC BY-SA 4.0
Share this article: X · Bluesky