D. S. Andersen, L. H. Pedersen, H. Hüttel, and J. Kleist, “Objects, Types and Modal Logics”, BRICS, vol. 3, no. 49, Jun. 1996.