A guide to completeness and complexity for modal logics of knowledge and belief
scientific article; zbMATH DE number 64740
scientific article