Person. Rowan Davies PhD advisorFrank Pfenning PhDCarnegie Mellon University Papers A judgmental reconstruction of modal logic pfenning-2001-aMSCS · 2001 DOI