You are not currently logged in.
Access JSTOR through your library or other institution:
Interpretations of Intuitionist Logic in Non-Normal Modal Logics
Journal of Philosophical Logic
Vol. 28, No. 1 (Feb., 1999), pp. 47-60
Published by: Springer
Stable URL: http://www.jstor.org/stable/30227108
Page Count: 14
You can always find the topics here!Topics: Model theory, Semantics, Semantic models, Modal logic, Mathematical intuitionism, Mathematical objects, Logical givens, Denotational semantics, Cognitive space, Interpretability
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
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.
Journal of Philosophical Logic © 1999 Springer