Refutations, proofs, and models in the modal logic K4
scientific article; zbMATH DE number 1764810