A hierarchy of modal logics with relative accessibility relations

Philippe Balbiani (1) , Ewa Orlowska (2)

1 LIPN - Laboratoire d'Informatique de Paris-Nord
2 NIT - National Institute of Telecommunications

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.

Domaines: Logique en informatique [cs.LO]

Philippe Balbiani, Ewa Orlowska. A hierarchy of modal logics with relative accessibility relations. Journal of Applied Non-Classical Logics, 1999. ⟨hal-03252471⟩