A Judgmental Reconstruction of Modal Logic (1999)

Cached

Download Links

by Frank Pfenning , Rowan Davies
Venue:Mathematical Structures in Computer Science
Citations:164 - 39 self

Document Versions

A Judgmental Reconstruction of Modal Logic –Frank Pfenning, Rowan Davies — 1999 — Mathematical Structures in Computer Science
A Judgmental Reconstruction of Modal Logic –Frank Pfenning, I Ng, Rowan Davies, I Es — 2001