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 条

[41] Ultraproducts of Admissible Models for Quantified Modal Logic
Goldblatt, Robert
[J]. STRUCTURAL ANALYSIS OF NON-CLASSICAL LOGICS, 2016, : 17 - 36
[42] PLANTINGAS HAECCEITISM AND SIMPLE QUANTIFIED MODAL LOGIC
Pavone, Luigi
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2018, 27 (02) : 151 - 160
[43] Repairing the interpolation theorem in quantified modal logic
Areces, C
Blackburn, P
Marx, M
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2003, 124 (1-3) : 287 - 299
[44] FAILURES OF THE INTERPOLATION LEMMA IN QUANTIFIED MODAL LOGIC
FINE, K
[J]. JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (02) : 201 - 206
[45] The worlds of possibility: Modal realism and the semantics of modal logic
Divers, J
[J]. PHILOSOPHICAL QUARTERLY, 2001, 51 (202): : 108 - 110
[46] ALTERNATIVE SEMANTICS FOR PROPOSITIONAL MODAL LOGIC
HANSON, WH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 402 - 403
[47] Prior on the semantics of modal and tense logic
M. J. Cresswell
[J]. Synthese, 2016, 193 : 3607 - 3623
[48] Prior on the semantics of modal and tense logic
Cresswelll, M. J.
[J]. SYNTHESE, 2016, 193 (11) : 3607 - 3623
[49] ALGEBRAIC SEMANTICS FOR MODAL PREDICATE LOGIC
FREEMAN, JB
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (06): : 523 - 552
[50] Game Semantics for Constructive Modal Logic
Acclavio, Matteo
Catta, Davide
Strassburger, Lutz
[J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 428 - 445

← 1 2 3 4 5 →