Situation types

Before we can proceed to a preliminary semantic for situations, we will need the notion of a type.

Definition 5.31 (Type of a situation, conditioning infon)   Let $i$ be an infon. Then $T=[s\vert s \models i]$ is a type of a situation, and $i$ is the conditioning infon of $T$, $i=cond(T)$. A situation $s$ is of the type $T$ relative to $f$ if $s \models i$, $cond(T)=i$, $anchor(i)=f$ and $f$ is defined on all the parameters of $i$.

Situation types are universals, and we believe that this notation for situations types is sufficient for all situations. Similarly, universals can be specified for situoids.