Decidable temporal and sequential relevant logics*
scientific article; zbMATH DE number 7009524