Frank Pfenning Rowan Davies A judgmental reconstruction of modal logic. 511-540 2001 11 Mathematical Structures in Computer Science 4 db/journals/mscs/mscs11.html#PfenningD01