A Judgmental Reconstruction of Modal Logic (1999)

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