Towards completeness of logics of information and common belief

Abstract

Being at the same time interested in general theory of coalgebraic logic beyond those based on boolean propositional part, and in some rather particular yet well-motivated non-classical epistemic logics, I naturally find myself in the following situation: On one hand, we have been developing general coalgebraic account of logics whose semantics can be based on poset coalgebras, on the other, we have quite specific examples of modal logics of information in mind, coming from epistemic or dynamic tradition, in need of a treatment. As a step towards applications ofthe general coalgebraic theory we pick a common belief logic based on Belnap-Dunn four-valued logic BD as its propositional base.