A unified completeness theorem for quantified modal logics

被引：16

作者：

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

共 8 条

[1] QUANTIFIED MODAL LOGIC WITH RIGID TERMS
CORSI, G
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (03): : 251 - 259
[2] CORSI G, 2001, COUNTERPARTS POSSIBL, V21, P1
[3] FITTING M, 1998, FIRST ORDER MODAL LO
[4] GARSON J, 2002, HDB PHILOS LOGIC, V2, P249
[5] Garson J.W., 1984, HDB PHILOS LOGIC, P249, DOI DOI 10.1007/978-94-009-6259-0_5
[6] Hughes G. E., 1996, NEW INTRO MODAL LOGI
[7] Kripke S., 1963, Acta Philosophica Fennica, V16, P83
[8] THOMASON RH, 1970, PHILOS PROBLEMS LOGI, P56

← 1 →