Dynamic Logic of Knowledge DKpr: its Metalogical Properties

Cover Page

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.

About the authors

E E Lednikov

Russian People's Friendship University

Кафедра онтологии и теории познанияФакультет гуманитарных и социальных наук; Российский университет дружбы народов; Russian People's Friendship University

References

Statistics

Views

Abstract - 813

PDF (Russian) - 63

Cited-By



Copyright (c) 2016 Philosophy



This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies