Display calculi for logics with relative accessibility relations
scientific article; zbMATH DE number 1441352