Dynamic Logic of Knowledge DKpr: its Metalogical Properties

Abstract

The paper shows that the author's first order modal logic of knowledge DKpr is consistent and complete, that compactness theorem, Lewenheim-Skolem theorem and Craig interpolation theorem may be true of it.

Keywords

• динамическая логика
• эпистемология
• методология
• металогика