A temporal algebra is a modal algebra with two operations that reflect the future and past modal operators of a temporal logic.
A temporal algebra is a Boolean algebra, , with operators, of type , with the condition that the operators are conjugate:
if, and only if, .
Equivalently (and equationally) this can be written as
where is the dual of .
Revised on December 24, 2010 07:26:36
by Toby Bartels