Dynamic order algebras as an axiomatization of modal and tense logics
scientific article; zbMATH DE number 6529585