Andersen DS, Pedersen LH, Hüttel H, Kleist J. Objects, Types and Modal Logics. BRICS [Internet]. 1996 Jun. 19 [cited 2024 Apr. 24];3(49). Available from: https://tidsskrift.dk/brics/article/view/20051