Multiple world semantics -- inference rules


slide: The interpretation of change