DEFINABILITY IN DYNAMIC LOGIC

被引：14

作者：

MEYER, AR ^{[1
]}

PARIKH, R ^{[1
]}

机构：

[1] BOSTON UNIV,DEPT MATH,BOSTON,MA 02215

来源：

关键词：

D O I：

10.1016/0022-0000(81)90016-7

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：279 / 298

页数：20

共 16 条

[1]

BARWISE J, 1973, STUDIES MODEL THEORY

[2]

DANKO W, 1979, FUND INFORM 2, V3, P277

[3] PROVING TERMINATION WITH MULTI-SET ORDERINGS [J].

DERSHOWITZ, N ;

MANNA, Z .

[4]

Ehrenfeucht A., 1961, FUND MATH, V49, P129

[5]

ENGELER E, 1975, MATH CTR TRACTS, V63, P57

[6]

HAREL D, 1978, 5TH P ACM S PRINC PR, P203

[7]

HAREL D, 1979, LECTURE NOTES COMPUT, V68

[8]

HAREL D, 1977, 9TH P S THEOR COMP B, P261

[9]

Keisler J.H., 1971, MODEL THEORY INFINIT

[10]

MAKOWSKY JA, 1980, LECTURES NOTES COMPU, V85, P409