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 条

[21] Cover semantics for quantified lax logic
Goldblatt, Robert
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (06) : 1035 - 1063
[22] QUANTIFIED MODAL LOGIC AND DE RE
CORRADO, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (02) : 440 - &
[23] QUANTIFIED MODAL LOGIC WITH RIGID TERMS
CORSI, G
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (03): : 251 - 259
[24] QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE
Kremer, Philip
[J]. REVIEW OF SYMBOLIC LOGIC, 2014, 7 (03): : 439 - 454
[25] COUNTERPART THEORY AND QUANTIFIED MODAL LOGIC
LEWIS, DK
[J]. JOURNAL OF PHILOSOPHY, 1968, 65 (05): : 113 - 126
[26] Counterparts, Essences and Quantified Modal Logic
Bigaj, Tomasz
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2022, : 39 - 52
[27] Labelled proofs for quantified modal logic
Artosi, A
Benassi, P
Governatori, G
Rotolo, A
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 70 - 86
[28] AN INTERNAL SEMANTICS FOR MODAL LOGIC
FAGIN, R
VARDI, MY
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 841 - 841
[29] Neighborhood semantics for logic of knowing how
Yanjun Li
Yanjing Wang
[J]. Synthese, 2021, 199 : 8611 - 8639
[30] Neighborhood semantics for logic of knowing how
Li, Yanjun
Wang, Yanjing
[J]. SYNTHESE, 2021, 199 (3-4) : 8611 - 8639

← 1 2 3 4 5 →