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 条

[21] THE THEORY OF ENDS, PUSHDOWN-AUTOMATA, AND 2ND-ORDER LOGIC
MULLER, DE
SCHUPP, PE
THEORETICAL COMPUTER SCIENCE, 1985, 37 (01) : 51 - 75
[22] 2ND-ORDER LOGIC, FOUNDATIONS, AND RULES
SHAPIRO, S
JOURNAL OF PHILOSOPHY, 1990, 87 (05): : 234 - 261
[23] 2ND-ORDER LOGIC STILL WILD
RESNIK, MD
JOURNAL OF PHILOSOPHY, 1988, 85 (02): : 75 - 87
[24] 2ND-ORDER EVIDENCE AND BAYESIAN LOGIC
BRILMAYER, L
BOSTON UNIVERSITY LAW REVIEW, 1986, 66 (3-4) : 673 - 691
[25] THE MONADIC 2ND-ORDER LOGIC OF GRAPHS .6. ON SEVERAL REPRESENTATIONS OF GRAPHS BY RELATIONAL STRUCTURES
COURCELLE, B
DISCRETE APPLIED MATHEMATICS, 1994, 54 (2-3) : 117 - 149
[26] FREGE AND 2ND-ORDER LOGIC - REPLY
HECK, RG
STANLEY, J
JOURNAL OF PHILOSOPHY, 1993, 90 (08): : 416 - 424
[27] THE MONADIC 2ND-ORDER LOGIC OF GRAPHS-V - ON CLOSING THE GAP BETWEEN DEFINABILITY AND RECOGNIZABILITY
COURCELLE, B
THEORETICAL COMPUTER SCIENCE, 1991, 80 (02) : 153 - 202
[28] A CHARACTERIZATION OF CONTEXT-FREE NCE GRAPH LANGUAGES BY MONADIC 2ND-ORDER LOGIC ON TREES
ENGELFRIET, J
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 532 : 311 - 327
[29] MONADIC 2ND-ORDER EVALUATIONS ON TREE-DECOMPOSABLE GRAPHS
COURCELLE, B
MOSBAH, M
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 570 : 13 - 24
[30] MONADIC 2ND-ORDER DEFINABLE RELATIONS ON THE BINARY-TREE
LAUCHLI, H
SAVIOZ, C
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 219 - 226

← 1 2 3 4 5 →