Yoav Shoham Temporal Logics in AI: Semantical and Ontological Considerations. 89-104 1987 33 Artif. Intell. 1 db/journals/ai/ai33.html#Shoham87