Temporal logics in AI: semantical and ontological considerations - Shoham, Y (Artif Intell, 1987)