Abstract
An old conjecture of modal logics states that every splitting of the major systems
K4, S4 and Grz has the finite model property. In this paper we will prove that
all iterated splittings of G have Imp, whereas in the other cases we will give explicit
counterexamples. We also introduce a proof technique
... read more