Representing temporal interval relationships in a first order logic for time

Andr'e Trudel

Jodrey School of Computer Science

Acadia University

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.


Return to Publications