Searching for "A judgmental reconstruction of modal logic." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A Judgmental Reconstruction of Modal Logic
- …A Judgmental Reconstruction of Modal Logic Frank Pfenning and Rowan Davies Department of Computer…
- Cited by 124 (35 self) – Add To MetaCart
-
Chapter 5 Linear Logic Programming
- …(4):297–399, December 1991. [PD01] Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic…
- Add To MetaCart
-
For the Completness Direction We Need to Generalize the Induction Hypothesis Somewhat Dierently.
- … three new judgments. Note that propositions A Draft of November 1, 2001 104 Linear Logic Programming…
- Add To MetaCart
Showing 1 through 3.
