1. Towards a general theory of action and time;Allen;Artificial Intelligence,1984
2. A propositional modal logic of time intervals;Halpern,1986
3. Interval semantics for tense logics: Some remarks;Humberstone;J. Philos. Logic,1979
4. Semantical considerations on modal logic;Kripke;Acta Philos. Fenn.,1963
5. Some philosophical problems from the standpoint of artificial intelligence;McCarthy,1981