Situation theory and the semantics of propositional expressions · Study