Antony GaltonReader

Research Interests My doctoral research attempted to construct a formal logic of verb aspect in natural language, based on Prior's logic of tense. The resulting system, Event Logic, was initially developed in an axiomatic formulation, but was subsequently given a model-theoretic semantics too. The axiomatic formulation was presented in my book The Logic of Aspect and the model theory appears in my paper The Logic of Occurrence. Subsequently I have investigated a wide range of temporal phenomena, in a broadly logical framework; my research has moved away from natural language towards knowledge representation issues, particularly those arising in the context of Artificial Intelligence. I have been particularly interested in the qualitative description of continuous change, and with problematic temporal phenomena such as instantaneous events and indefinitely fine intermingling (`clustered variation').