Pietruszczak, Andrzej
(Lodz University Press, 2009)
In this paper, we show that logics K45, KB4 (= KB5) and KD45 are determined by some classes of simplified Kripke frames without binary accessibility relations between possible worlds. These frames are ordered pairs of sets ...