Journal of Philosophical Logic

, Volume 28, Issue 1, pp 47–60

Interpretations of intuitionist logic in non-normal modal logics

  • Colin Oakes
Article

DOI: 10.1023/A:1004324522424

Cite this article as:
Oakes, C. Journal of Philosophical Logic (1999) 28: 47. doi:10.1023/A:1004324522424
  • 42 Downloads

Abstract

Historically, it was the interpretations of intuitionist logic in the modal logic S4 that inspired the standard Kripke semantics for intuitionist logic. The inspiration of this paper is the interpretation of intuitionist logic in the non-normal modal logic S3: an S3 model structure can be 'looked at' as an intuitionist model structure and the semantics for S3 can be 'cashed in' to obtain a non-normal semantics for intuitionist propositional logic. This non-normal semantics is then extended to intuitionist quantificational logic.

logic intuitionist logic modal logic semantics model(s) 

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Colin Oakes
    • 1
  1. 1.Department of PhilosophyMarquette UniversityMilwaukeeUSA

Personalised recommendations