Representing temporal interval relationships in a first order logic for time André Trudel   View Paper (PDF)   Return to Short Paper Abstract 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. DiSC'02 © 2003 Association for Computing Machinery