QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS

被引：5
|
作者：
WAAGBO, G
机构：
[1] Oslo, 0258
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1992年 / 38卷 / 5-6期
关键词：
QUANTIFIED MODAL LOGIC; KRIPKE SEMANTICS; NEIGHBORHOOD SEMANTICS; BARCAN FORMULA;
D O I：
10.1002/malq.19920380144
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula (BF) and its converse are not valid with the proposed semantics. Sub-classes of models which validate BF and other interesting formulas are presented. A completeness theorem is proved, and the relation between this result and completeness with respect to Kripke models is investigated. MSC: 03B45.
引用
收藏
页码：491 / 499
页数：9
相关论文
共 50 条
12345