Two theories of time
Yunqing Lin · Journal of Applied Non-Classical Logics · 1991
This paper develops two theories of time. One is a relational theory based on Russell's account of lime and the work by Kamp The other is a moderate absolute theory based on Allen and Hayes' account of time and the work by flambhn and Walker. The two theories are then compared in detail: the logical relationships between them are uncovered, and some philosophical problems they each face are discussed. The paper shows, from the viewpoint of lime, that philosophy and Artificial Intelligence are intimately related.