Ontological situation theory

In this chapter we will introduce our situation theory, which we call ``situoid theory''. It will be mainly an extension of Barwisean situation semantics, put into an ontological background.