 events |  frame problem |  logic: dynamic epistemic |  logic: non-monotonic |  logic: propositional dynamic |  logic: temporal |  semantics: dynamic |  situations: in natural language semantics |  speech acts 