A completeness proof for a logic with an alternative necessity operator
scientific article; zbMATH DE number 994533