Intuitionistic Necessity Revisited (1996)
| Venue: | PROCEEDINGS OF THE LOGIC AT WORK CONFERENCE |
| Citations: | 23 - 7 self |
BibTeX
@TECHREPORT{Bierman96intuitionisticnecessity,
author = {G. M. Bierman and V.C.V. de Paiva},
title = {Intuitionistic Necessity Revisited},
institution = {PROCEEDINGS OF THE LOGIC AT WORK CONFERENCE},
year = {1996}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we consider an intuitionistic modal logic, which we call IS42 . Our approach is different to others in that we favour the natural deduction and sequent calculus proof systems rather than the axiomatic, or Hilbert-style, system. Our natural deduction formulation is simpler than other proposals. The traditional means of devising a modal logic is with reference to a model, and almost always, in terms of a Kripke model. Again our approach is different in that we favour categorical models. This facilitates not only a more abstract definition of a whole class of models but also a means of modelling proofs as well as provability.
