Barwise's information frames and modal logics (Q1407591)

In this paper, dedicated to the memory of John Barwise, axiomatizations of modal logics, generated by information frames, are given. Next, it is shown that every Kripke-complete modal logic is the modal logic of some class of information frames. Conversely, the modal logic, generated by a class of complete, rarefied, and fully classified information frames, is Kripke-complete.