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.rcsi.science/2313-2302/article/view/345674
- ID: 345674
Cite item
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
Supplementary files
