A judgmental reconstruction of modal logic (2001)

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