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 条

[1] THE DEFINABILITY OF EQUATIONAL GRAPHS IN MONADIC 2ND-ORDER LOGIC
COURCELLE, B
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 372 : 207 - 221
[2] MONADIC 2ND-ORDER LOGIC, TREE AUTOMATA AND FORBIDDEN MINORS
ARNBORG, S
PROSKUROWSKI, A
SEESE, D
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 533 : 1 - 16
[3] A DECISION PROCEDURE FOR THE MONADIC 2ND-ORDER LOGIC OF ONE SUCCESSOR
CALBRIX, H
NIVAT, M
PODELSKI, A
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1994, 318 (09): : 847 - 850
[4] PROPERTY THEORY AND 2ND-ORDER LOGIC
MENZEL, C
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 850 - 850
[5] THE MONADIC 2ND-ORDER LOGIC OF GRAPHS .9. MACHINES AND THEIR BEHAVIORS
COURCELLE, B
THEORETICAL COMPUTER SCIENCE, 1995, 151 (01) : 125 - 162
[6] A REGULAR CHARACTERIZATION OF GRAPH LANGUAGES DEFINABLE IN MONADIC 2ND-ORDER LOGIC
ENGELFRIET, J
THEORETICAL COMPUTER SCIENCE, 1991, 88 (01) : 139 - 150
[7] THE MONADIC 2ND-ORDER LOGIC OF GRAPHS - DEFINABLE SETS OF FINITE GRAPHS
COURCELLE, B
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 344 : 30 - 53
[8] 2ND-ORDER LOGIC
BOOLOS, GS
JOURNAL OF PHILOSOPHY, 1975, 72 (16): : 509 - 527
[9] ON CONTEXT-FREE SETS OF GRAPHS AND THEIR MONADIC 2ND-ORDER THEORY
COURCELLE, B
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 291 : 133 - 146
[10] AN ALGORITHM FOR THE UNIFICATION OF 2ND-ORDER MONADIC TERMS
FARMER, WM
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 841 - 842

← 1 2 3 4 5 →