An Extended Theory of Temporal Propositions

Jixin Ma and Brain Knight

This paper presents an extended theory of temporal propositions based on a general time axiomatisation. The time axiomatisation characterises both intervals and points as primitive time elements on an equal footing. It is shown that this extended theory may subsume some existing theories, such as Allen’s interval-based theory of action and time, the correspondingly revised theory proposed by Galton, and Shoham’s classification of temporal propositions which has been defined in terms of point-based intervals, etc.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.