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 条

[1] Partial Semantics for Quantified Modal Logic
Eric Johannesson
[J]. Journal of Philosophical Logic, 2018, 47 : 1049 - 1060
[2] Partial Semantics for Quantified Modal Logic
Johannesson, Eric
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2018, 47 (06) : 1049 - 1060
[3] Associative Substitutional Semantics and Quantified Modal Logic
Wieckowski, Bartosz
[J]. STUDIA LOGICA, 2010, 94 (01) : 105 - 138
[4] Associative Substitutional Semantics and Quantified Modal Logic
Bartosz Więckowski
[J]. Studia Logica, 2010, 94 : 105 - 138
[5] INADEQUACY OF NEIGHBORHOOD SEMANTICS FOR MODAL LOGIC
GERSON, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (02) : 141 - 148
[6] INADEQUACY OF NEIGHBORHOOD SEMANTICS FOR MODAL LOGIC
GERSON, MS
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (02): : A282 - A282
[7] Neighborhood Incompatibility Semantics for Modal Logic
Kishida, Kohei
[J]. LOGICA YEARBOOK 2008, 2009, : 71 - 81
[8] RELATIONAL AND NEIGHBORHOOD SEMANTICS FOR INTUITIONISTIC MODAL LOGIC
Kojima, Kensuke
[J]. REPORTS ON MATHEMATICAL LOGIC, 2012, 47 : 87 - 113
[9] Quantified modal logic, dynamic semantics and S-5
Gochet, P
Gillet, P
[J]. DIALECTICA, 1999, 53 (3-4) : 243 - 251
[10] REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG'S 1985 CONSTRUCTION
Rin, Benjamin G.
Walsh, Sean
[J]. REVIEW OF SYMBOLIC LOGIC, 2016, 9 (04): : 752 - 809

← 1 2 3 4 5 →