Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain (1997). Relations between Propositional Normal Modal Logics: an Overview. Journal of logic and computation, 7(5), pp. 649-658. Oxford University Press 10.1093/logcom/7.5.649