Email this article 
Dynamic Logic of Knowledge DKpr: its Metalogical Properties
- Authors: Lednikov EE1
-
Affiliations:
- Russian People's Friendship University
- Issue: No 3 (2009)
- Pages: 93-99
- Section: Articles
- URL: https://journals.rudn.ru/philosophy/article/view/11727
- ID: 11727
Cite item
Full Text
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
About the authors
E E Lednikov
Russian People's Friendship UniversityКафедра онтологии и теории познанияФакультет гуманитарных и социальных наук; Российский университет дружбы народов; Russian People's Friendship University
References
Supplementary files
