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] The worlds of possibility: Modal realism and the semantics of modal logic
Gregory, D
MIND, 2001, 110 (439) : 736 - 740
[42] PLANTINGAS HAECCEITISM AND SIMPLE QUANTIFIED MODAL LOGIC
Pavone, Luigi
LOGIC AND LOGICAL PHILOSOPHY, 2018, 27 (02) : 151 - 160
[43] Ultraproducts of Admissible Models for Quantified Modal Logic
Goldblatt, Robert
STRUCTURAL ANALYSIS OF NON-CLASSICAL LOGICS, 2016, : 17 - 36
[44] Repairing the interpolation theorem in quantified modal logic
Areces, C
Blackburn, P
Marx, M
ANNALS OF PURE AND APPLIED LOGIC, 2003, 124 (1-3) : 287 - 299
[45] FAILURES OF THE INTERPOLATION LEMMA IN QUANTIFIED MODAL LOGIC
FINE, K
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (02) : 201 - 206
[46] The worlds of possibility: Modal realism and the semantics of modal logic
Divers, J
PHILOSOPHICAL QUARTERLY, 2001, 51 (202): : 108 - 110
[47] Prior on the semantics of modal and tense logic
M. J. Cresswell
Synthese, 2016, 193 : 3607 - 3623
[48] Truthmaker Semantics for Intuitionistic Modal Logic
Litland, Jon Erling
TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 2024,
[49] ALTERNATIVE SEMANTICS FOR PROPOSITIONAL MODAL LOGIC
HANSON, WH
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 402 - 403
[50] Prior on the semantics of modal and tense logic
Cresswelll, M. J.
SYNTHESE, 2016, 193 (11) : 3607 - 3623

← 1 2 3 4 5 →