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] A CRITICAL-APPRAISAL OF 2ND-ORDER LOGIC
JANE, I
HISTORY AND PHILOSOPHY OF LOGIC, 1993, 14 (01) : 67 - 86
[35] THE AXIOM OF CHOICE IN 2ND-ORDER PREDICATE LOGIC
GASSNER, C
MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (04) : 533 - 546
[36] THE EXPRESSIVE POWER OF 2ND-ORDER HORN LOGIC
GRADEL, E
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 466 - 477
[37] 2ND-ORDER EQUATIONS FROM A 2ND-ORDER FORMALISM
HAMMOND, RT
JOURNAL OF MATHEMATICAL PHYSICS, 1989, 30 (05) : 1115 - 1116
[38] A 2ND-ORDER THEORY FOR PIEZOELECTRIC MATERIALS
YANG, JS
BATRA, RC
JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 1995, 97 (01): : 280 - 288
[39] THE 2ND-ORDER THEORY OF THE TRIODE GENERATOR
VAKMAN, DE
RADIOTEKHNIKA I ELEKTRONIKA, 1982, 27 (01): : 126 - 132
[40] 2ND-ORDER GENERALIZED BEAM THEORY
DAVIES, JM
LEACH, P
HEINZ, D
JOURNAL OF CONSTRUCTIONAL STEEL RESEARCH, 1994, 31 (2-3) : 221 - 241

← 1 2 3 4 5 →