CANONICAL FORMULAS FOR wK4
CANONICAL FORMULAS FOR wK4
复制标题
wK4 的规范公式
DOI：
10.1017/s1755020312000251
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
BEZHANISHVILI G
中科院分区：
文献类型：
--
作者：
BEZHANISHVILI G
我们将传递框架逻辑K4的标准公式理论推广到弱传递框架逻辑wK4。我们的主要结果建立了WK4上的每一个逻辑都可以用规范公式公理化，从而推广了Zakharyaschev关于K4上逻辑的定理。关键的新成分包括弱传递空间的传递和强共尾子框架的概念。这沿着子帧和共尾子帧逻辑的标准概念，产生了在wK 4上的传递子帧和强共尾子帧逻辑的新概念。我们得到的公理化的所有四种子帧逻辑在wK 4。我们通过给出wK4上的不同种类的子帧逻辑的多个示例来结束。
We generalize the theory of canonical formulas for K4, the logic of transitive frames, to wK4, the logic of weakly transitive frames. Our main result establishes that each logic over wK4 is axiomatizable by canonical formulas, thus generalizing Zakharyaschev’s theorem for logics over K4. The key new ingredients include the concepts of transitive and strongly cofinal subframes of weakly transitive spaces. This yields, along with the standard notions of subframe and cofinal subframe logics, the new notions of transitive subframe and strongly cofinal subframe logics over wK4. We obtain axiomatizations of all four kinds of subframe logics over wK4. We conclude by giving a number of examples of different kinds of subframe logics over wK4.
登录
查看更多内容
绝对公理化模态逻辑和中间逻辑
DOI：
10.1002/malq.19930390136
发表时间：
1993
期刊：
Math. Log. Q.
影响因子：
--
作者：
M. Kracht
通讯作者：
M. Kracht
包含 K4 的逻辑。
影响因子：
0.6
作者：
K. Fine
通讯作者：
K. Fine
影响因子：
0.6
作者：
M. Zakharyaschev
通讯作者：
M. Zakharyaschev
影响因子：
0.6
作者：
M. Zakharyaschev
通讯作者：
M. Zakharyaschev
论模态逻辑的不完备程度及模态逻辑格中的覆盖关系
影响因子：
0.6
作者：
W. Blok
通讯作者：
W. Blok