Andersen, D. S. (1996) “Objects, Types and Modal Logics”, BRICS Report Series, 3(49). doi: 10.7146/brics.v3i49.20051.