A judgmental reconstuction of modal logic (0)

by F Pfenning, R Davies
Venue:Mathematical Structures in Computer Science