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