A judgmental reconstruction of modal logic (0)

by Frank Pfenning, Rowan Davies
Venue:Mathematical Structures in Computer Science