Abstract:
Modal logic with two operators, one for the accessibility relation on a Kripke model and the other for its complement, was studied first by Humberstone in 1983 [5], who axiomatized it using an infinite number of axioms. In this paper we suggest a finite axiomatization of this logic, and also axiomatize the corresponding logics of some natural classes of Kripke frames.
