Incomplete normal modal logic systems

858 Views Asked by At

Apart from the classical example of KH, given by axiom $\Box(\Box p\leftrightarrow p)\to \Box p$, are there any other examples of incomplete propositional normal modal logic systems defined by axioms in 1 variable and of modal degree $\le 2$? If so, I would also appreciate a reference to where the proofs can be found. I am looking for the simplest possible examples. Van Benthem's is of modal degree 3, others are in 2 variables etc.