Andersen, D. S., Pedersen, L. H., Hüttel, H. and Kleist, J. (1996) “Objects, Types and Modal Logics”, BRICS Report Series, 3(49). doi: 10.7146/brics.v3i49.20051.