Resolution calculi for non-normal modal logics
scientific article; zbMATH DE number 7850752
scientific article