On Kripke completeness of modal predicate logics around quantified \textbf{K5}
scientific article; zbMATH DE number 7628764