Situation Theories

The concept of ``situation'' has been known in computer science for several years. A simple approach is known as situation calculus, and although it is useful for several applications, it is quite weak in an ontological sense, and we will discuss situation calculus only short. Later, in the 1980s, situation theory or situation semantics has been developed, and it is a rich theory, and the basis of our work, so we will discuss it in length.