Jan von Plato Normal derivability in modal logic. 632-638 2005 51 Math. Log. Q. 6 http://dx.doi.org/10.1002/malq.200410054 db/journals/mlq/mlq51.html#Plato05