Another look on tense and related operators

Michal Botur, Jan Paseka, Richard Smolka

Motivated by the classical work of Halmos on functional monadic Boolean algebras we derive three basic sup-semilattice constructions, among other things the so-called powersets and…