Interpretations of intuitionist logic in non-normal modal logics
| 详细信息 | 推荐本文 | |
- 作者：Colin Oakes
- 关键词：logic ; intuitionist logic ; modal logic ; semantics ; model(s)
- 刊名：Journal of Philosophical Logic
- 出版时间：1999
- 出版年：1999
- 期刊代码：23_00223611
- 类别：law
- 卷：28
- 期：1
- 页码：47-60
- 数据来源：sp
摘要
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.