A *tense algebra* is a structure ** A** = (

(

◊

**Remark**:
Tense algebras provide algebraic models for logic of tenses. The two possibility operators
◊_{p} and ◊_{f} are intuitively interpreted as
*at some past instance* and *at some future instance*.

Let ** A** and

Classtype | variety |

Equational theory | decidable |

Quasiequational theory | decidable |

First-order theory | undecidable |

Locally finite | no |

Residual size | unbounded |

Congruence distributive | yes |

Congruence modular | yes |

Congruence n-permutable | yes, n = 2 |

Congruence regular | yes |

Congruence uniform | yes |

Congruence extension property | yes |

Definable principal congruences | no |

Equationally definable principal congruences | no |

[Discriminator variety]? | no |

Amalgamation property | yes |

Strong amalgamation property | yes |

Epimorphisms are surjective | yes |

[Size 2]?:

[Size 3]?:

[Size 4]?:

[Size 5]?:

[Size 6]?: