A hierarchy of modal logics with relative accessibility relations
Philippe Balbiani, Ewa S. Orłowska · Journal of Applied Non-Classical Logics · 1999
In this paper we introduce and investigate various classes of multimodal logics based on frames with relative accessibility relations. We discuss their applicability to representation and analysis of incomplete information. We provide axiom systems for these logics and we prove their completeness.