Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster

被引：0
|
作者：
Shimura T. [1 ]
机构：
[1] Department of Mathematics, College of Science and Technology, Nihon University, Chiyoda-ku Tokyo 101-8308
来源：
Studia Logica | 2000年 / 65卷 / 2期
关键词：
Canonical formulas; Kripke incompleteness; Modal predicate logics;
D O I：
10.1023/A:1005219831286
中图分类号：
学科分类号：
摘要：
We generalize the incompleteness proof of the modal predicate logic Q-S4 + □◇p ⊇ ◇□p + BF described in Hughes-Cresswell [6]. As a corollary, we show that, for every subframe logic L containing S4, Kripke completeness of Q-L + BF implies the finite embedding property of L. © 2000 Kluwer Academic Publishers.
引用
收藏
页码：237 / 247
页数：10
相关论文
共 10 条
1