Andersen DS, Pedersen LH, Hüttel H, Kleist J. Objects, Types and Modal Logics. BRICS [Internet]. 19. juni 1996 [henvist 5. december 2025];3(49). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20051