Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).
scientific article; zbMATH DE number 1853128