A unified completeness theorem for quantified modal logics

被引：15

作者：

Corsi, G ^{[1
]}

机构：

[1] Univ Bologna, Dipartimento Filosofia, I-40126 Bologna, Italy

来源：

JOURNAL OF SYMBOLIC LOGIC | 2002年 / 67卷 / 04期

关键词：

D O I：

10.2178/jsl/1190150295

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

A general strategy for proving completeness theorems for quantified modal logics is provided. Starting from free quantified modal logic K. with or without identity, extensions obtained either by adding the principle of universal instantiation or the converse of the Barcan formula or the Barcan formula are considered and proved complete in a uniform way. Completeness theorems are also shown for systems with the extended Barcan rule as well as for some quantified extensions of the modal logic B. The incompleteness of Qdegrees.B + BF is also proved.

引用

页码：1483 / 1510

页数：28

共 50 条

[1] Combinations and completeness transfer for quantified modal logics
Schurz, Gerhard
[J]. LOGIC JOURNAL OF THE IGPL, 2011, 19 (04) : 598 - 616
[2] A strong completeness theorem in intuitionistic quantified modal logic
Hengshan Gao
[J]. Science in China Series E: Technological Sciences, 2000, 43 : 60 - 70
[3] A strong completeness theorem in intuitionistic quantified modal logic
Gao, HS
[J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 2000, 43 (01): : 60 - 70
[4] A strong completeness theorem in intuitionistic quantified modal logic
高恒珊
[J]. Science China Technological Sciences, 2000, (01) : 60 - 70
[5] On Kripke completeness of modal predicate logics around quantified K5
Shehtman, Valentin
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (02)
[6] QUANTIFIED MODAL RELEVANT LOGICS
Ferenz, Nicholas
[J]. REVIEW OF SYMBOLIC LOGIC, 2023, 16 (01): : 210 - 240
[7] COMPLETENESS OF MONOTONIC MODAL LOGICS
CHELLAS, BF
MCKINNEY, A
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (04): : 379 - 383
[8] INCOMPLETENESS PROBLEM OF QUANTIFIED MODAL LOGICS
DANQUAH, J
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 447 - 447
[9] A systematic presentation of quantified modal logics
Castellini, C
Smaill, A
[J]. LOGIC JOURNAL OF THE IGPL, 2002, 10 (06) : 571 - 599
[10] Nested Sequents for Quantified Modal Logics
Lyon, Tim S.
Orlandelli, Eugenio
[J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 449 - 467

← 1 2 3 4 5 →