DMCA
On an Intuitionistic Modal Logic (2001)
| Venue: | Studia Logica |
| Citations: | 27 - 6 self |
BibTeX
@ARTICLE{Bierman01onan,
author = {G M Bierman and V C V de Paiva},
title = {On an Intuitionistic Modal Logic},
journal = {Studia Logica},
year = {2001},
volume = {65},
pages = {2000}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
. In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4---our formulation has several important metatheoretic properties. In addition, we study models of IS4, not in the framework of Kripke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also a means of modelling proofs as well as provability. 1. Introduction Modal logics are traditionally extensions of classical logic with new operators, or modalities, whose operation is intensional. Modal logics are most commonly justified by the provision of an intuitive semantics based upon `possible worlds', an idea originally due to Kripke. Kripke also provided a possible worlds semantics for intuitionistic logic, and so it is natural to consider intuitionistic logic extended with intensional modalities...
Keyphrases
intuitionistic modal logic intuitionistic logic particular importance general framework category theory classical logic intuitive semantics whole class kripke semantics new operator modal logic s4 abstract definition natural deduction formulation intensional modality possible world semantics possible world intuitionistic variant introduction modal logic several important metatheoretic property modal logic
