The relation between intuitionistic and classical modal logics
The relation between intuitionistic and classical modal logics
复制标题
直觉主义与经典模态逻辑之间的关系
DOI：
10.1007/bf02672476
复制
发表时间：
1997
影响因子：
0.5
通讯作者：
M. Zakharyaschev
中科院分区：
文献类型：
--
作者：
F. Wolter;M. Zakharyaschev
直觉命题逻辑及其扩展，被称为中间或超直觉逻辑，在许多方面可以被视为包含s4的经典模态逻辑的片段。本文的主要目的是在增广了模态算子的中间逻辑（我们称之为直觉模态逻辑）和经典多模态逻辑之间建立一种类似的对应关系。我们研究了一类直觉多模态逻辑，其中模态算子只满足同余规则，因此可以看作是各种□和◇。
Intuitionistic propositional logicInt and its extensions, known as intermediate or superintuitionistic logics, in many respects can be regarded as just fragments of classical modal logics containingS4. The main aim of this paper is to construct a similar correspondence between intermediate logics augmented with modal operators—we call them intuitionistic modal logics—and classical polymodal logics We study the class of intuitionistic polymodal logics in which modal operators satisfy only the congruence rules and so may be treated as various sorts of □ and ◇.