Representing temporal interval relationships in a first order logic for time
Jodrey School of Computer Science
Wolf Ville, Nova Scotia, Canada, B4P 2R6
January 16, 2001
We present a simple classification of temporal information based on truth value at the point level. Axioms are then derived for capturing temporal relationships and, strong and weak negation. The main advantage of our logic independent approach is that it becomes simpler for a user to define a first order temporal logic.