Теорема полноты для одной бимодальной системы знания и веры.

Abstract

In this note we consider the bimodal system KB4 with epistemic and doxastic modal operators and give the detailed sketch of its completeness proof by means of the modified Kripke style diagrams. The system KB4 was described in [1], where we characterized its metatheoretical peculiarities, but the proof of its completeness was omited there.