A judgmental reconstruction of modal logic (0)

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