Proof methods for reasoning about possibility and necessity
scientific article; zbMATH DE number 480469