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 条

[31] Neighborhood semantics for logic of knowing how
Li, Yanjun
Wang, Yanjing
SYNTHESE, 2021, 199 (3-4) : 8611 - 8639
[32] NEIGHBORHOOD SEMANTICS FOR BASIC AND INTUITIONISTIC LOGIC
Moniri, Morteza
Maleki, Fatemeh Shirmohammadzadeh
LOGIC AND LOGICAL PHILOSOPHY, 2015, 24 (03) : 339 - 355
[33] Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas
McCarthy, Andrew Joseph
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2021, 62 (02) : 285 - 301
[34] Ruth Barcan Marcus and quantified modal logic
Janssen-Lauret, Frederique
BRITISH JOURNAL FOR THE HISTORY OF PHILOSOPHY, 2022, 30 (02) : 353 - 383
[35] THE LOGIC OF COMMON NOUNS - AN INVESTIGATION IN QUANTIFIED MODAL LOGIC - GUPTA,A
KAPITAN, T
NOUS, 1984, 18 (01): : 166 - 173
[36] LOGIC OF COMMON NOUNS - AN INVESTIGATION IN QUANTIFIED MODAL LOGIC - GUPTA,A
MCCAWLEY, JD
JOURNAL OF PHILOSOPHY, 1982, 79 (09): : 512 - 517
[37] THE LOGIC OF COMMON NOUNS - AN INVESTIGATION IN QUANTIFIED MODAL LOGIC - GUPTA,A
KIELKOPF, CF
REVIEW OF METAPHYSICS, 1982, 36 (02): : 451 - 453
[38] Actualism, Serious Actualism, and Quantified Modal Logic
Hanson, William H.
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2018, 59 (02) : 233 - 284
[39] THE LOGIC OF COMMON NOUNS, AN INVESTIGATION IN QUANTIFIED MODAL LOGIC - GUPTA,A
REIX, A
ETUDES PHILOSOPHIQUES, 1983, (02): : 238 - 238
[40] The worlds of possibility: Modal realism and the semantics of modal logic
Linsky, B
PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 2001, 63 (02) : 483 - 486

← 1 2 3 4 5 →