## A Judgmental Reconstruction of Modal Logic (1999)

Venue: | Mathematical Structures in Computer Science |

Citations: | 160 - 38 self |

### BibTeX

@INPROCEEDINGS{Pfenning99ajudgmental,

author = {Frank Pfenning and Rowan Davies},

title = {A Judgmental Reconstruction of Modal Logic},

booktitle = {Mathematical Structures in Computer Science},

year = {1999},

pages = {2001}

}

### Years of Citing Articles

### OpenURL

### Abstract

this paper we reconsider the foundations of modal logic, following MartinL of's methodology of distinguishing judgments from propositions [ML85]. We give constructive meaning explanations for necessity (2) and possibility (3). This exercise yields a simple and uniform system of natural deduction for intuitionistic modal logic which does not exhibit anomalies found in other proposals. We also give a new presentation of lax logic [FM97] and find that it is already contained in modal logic, using the decomposition of the lax modality fl A as