The complexity of the modal predicate logic of "true in every transitive model of ZF"

被引：0

|

作者：

McGee, V ^{[1
]}

机构：

[1] MIT, Dept Linguist & Philosophy, Cambridge, MA 02139 USA

来源：

JOURNAL OF SYMBOLIC LOGIC | 1997年 / 62卷 / 04期

关键词：

D O I：

10.2307/2275648

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

收藏

页码：1371 / 1378

页数：8

相关论文

共 50 条

[1] THE DEGREE OF THE SET OF SENTENCES OF PREDICATE PROVABILITY LOGIC THAT ARE TRUE UNDER EVERY INTERPRETATION
BOOLOS, G
MCGEE, V
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 165 - 171
[2] AN INTERPRETATION OF INTUITIONISTIC PREDICATE LOGIC IN MODAL LOGIC
PRAWITZ, D
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 565 - &
[3] Modal Formulas True at Some Point in Every Model
Humberstone, Lloyd
AUSTRALASIAN JOURNAL OF LOGIC, 2008, 6 : 70 - 82
[4] ''Everywhere'' in predicate algebra and modal logic
Dijkstra, RM
INFORMATION PROCESSING LETTERS, 1996, 58 (05) : 237 - 243
[5] UNDECIDABILITY OF MONADIC MODAL PREDICATE LOGIC
NAKAMURA, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1970, 16 (03): : 257 - &
[6] ALGEBRAIC SEMANTICS FOR MODAL PREDICATE LOGIC
FREEMAN, JB
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (06): : 523 - 552
[7] Individual concepts in modal predicate logic
Aloni, M
JOURNAL OF PHILOSOPHICAL LOGIC, 2005, 34 (01) : 1 - 64
[8] THE MODAL PREDICATE LOGIC OF REAL TIME
Cresswell, M. J.
LOGIQUE ET ANALYSE, 2010, (209) : 3 - 7
[9] Individual Concepts in Modal Predicate Logic
Maria Aloni
Journal of Philosophical Logic, 2005, 34 : 1 - 64
[10] Everywhere in predicate algebra and modal logic
Department of Computer Science, University of Groningen, P.O. Box 800, 9700 AV Groningen, Netherlands
Inf. Process. Lett., 5 (237-243):

← 1 2 3 4 5 →