A topological duality for tense modal pseudocomplemented De Morgan algebras.

In this paper, we define and study the variety of tense modal pseudocomplemented De Morgan algebras. This variety is a proper subvariety of the variety of tense tetravalent modal algebras. A tense modal pseudocomplemented De Morgan algebra is a modal pseudocomplemented De Morgan algebra endowed with two tense operators G and H satisfying additional conditions. Also, the variety of tense modal pseudocomplemented De Morgan algebras is intimately connected with some well-known varieties of De Morgan algebras with tense operators. [ABSTRACT FROM AUTHOR]