Dynamic semantics for tense and aspect
Mark J. Steedman · Edinburgh Research Explorer (University of Edinburgh) · 1995
A semantics for tense, modality, and aspect in natural language must capture causal and contingent relations between events and states as welt as merely temporal ones The paper investigates a non-reified dynamic logic based, formulation of the situation calculus is a formalism for a computational semantics for a. number of temporal categories in English and suggests that some recent claims that dynamic logics are inherently unsuitable for this purpose have taken too narrow a view of the situation calculi.