Algebraic and relational semantics for tense logics Paola Unterholzner — 1981 Rendiconti del Seminario Matematico della Università di Padova