INTERPRETING 2ND-ORDER LOGIC IN THE MONADIC THEORY OF ORDER

被引：13

作者：

GUREVICH, Y

SHELAH, S

机构：

[1] BOWLING GREEN STATE UNIV,BOWLING GREEN,OH 43403

[2] HEBREW UNIV JERUSALEM,INST MATH,JERUSALEM,ISRAEL

来源：

JOURNAL OF SYMBOLIC LOGIC | 1983年 / 48卷 / 03期

关键词：

D O I：

10.2307/2273475

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：816 / 828

页数：13

相关论文

共 50 条

[31] MONADIC 2ND-ORDER EVALUATIONS ON TREE-DECOMPOSABLE GRAPHS
COURCELLE, B
MOSBAH, M
THEORETICAL COMPUTER SCIENCE, 1993, 109 (1-2) : 49 - 82
[32] THE MONADIC 2ND-ORDER LOGIC OF GRAPHS .3. TREE-DECOMPOSITIONS, MINORS AND COMPLEXITY ISSUES
COURCELLE, B
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1992, 26 (03): : 257 - 286
[33] 2ND-ORDER EVIDENCE AND BAYESIAN LOGIC - COMMENT
MARTIN, AW
BOSTON UNIVERSITY LAW REVIEW, 1986, 66 (3-4) : 709 - 714
[34] THE EXPRESSIVE POWER OF 2ND-ORDER HORN LOGIC
GRADEL, E
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 466 - 477
[35] 2ND-ORDER EQUATIONS FROM A 2ND-ORDER FORMALISM
HAMMOND, RT
JOURNAL OF MATHEMATICAL PHYSICS, 1989, 30 (05) : 1115 - 1116
[36] A CRITICAL-APPRAISAL OF 2ND-ORDER LOGIC
JANE, I
HISTORY AND PHILOSOPHY OF LOGIC, 1993, 14 (01) : 67 - 86
[37] THE AXIOM OF CHOICE IN 2ND-ORDER PREDICATE LOGIC
GASSNER, C
MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (04) : 533 - 546
[38] THEORY OF 2ND-ORDER PHASE TRANSITIONS
LEVANYUK, AP
SOVIET PHYSICS-SOLID STATE, 1964, 5 (07): : 1294 - 1298
[39] AN APPROXIMATE 2ND-ORDER WING THEORY
LEE, DH
SHEPPARD, LM
AIAA JOURNAL, 1966, 4 (10) : 1828 - &
[40] THEORY OF THE 2ND-ORDER REFLECTION GRATING
PARK, WS
SESHADRI, SR
JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION, 1986, 3 (10): : 1632 - 1643

← 1 2 3 4 5 →