UNIVERSAL 1ST ORDER DEFINABILITY IN MODAL LOGIC

被引：4

|

作者：

JENNINGS, RE

JOHNSTON, DK

SCHOTCH, PK

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1980年 / 26卷 / 04期

关键词：

D O I：

10.1002/malq.19800261904

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：327 / 330

页数：4

相关论文

共 50 条

[1] ABSTRACTION IN 1ST ORDER MODAL LOGIC
STALNAKER, RC
THOMASON, RH
[J]. THEORIA, 1968, 34 : 203 - 207
[2] DUALITY AND DEFINABILITY IN 1ST-ORDER LOGIC
MAKKAI, M
[J]. MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1993, 105 (503) : R3 - &
[3] FIRST-ORDER DEFINABILITY IN MODAL LOGIC
GOLDBLATT, RI
[J]. JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (01) : 35 - 40
[4] 1ST ORDER DATA-TYPES AND 1ST ORDER LOGIC
TREINEN, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 594 - 614
[5] DECIDABILITY AND DEFINABILITY RESULTS CONCERNING WELL-ORDERINGS AND SOME EXTENSIONS OF 1ST ORDER LOGIC
CHLEBUS, BS
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (06): : 529 - 536
[6] DEFINABILITY AT THE 1ST ORDER OF PRINCIPAL CONGRUENCES AND OF COMPACT CONGRUENCES
MARONGIU, G
[J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1983, 2A (01): : 47 - 53
[7] 1ST ORDER PROGRAMMING LOGIC
GERGELY, T
URY, L
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 319 - 320
[8] 1ST ORDER MATHEMATICAL LOGIC - MARGARIS,A
KENIG, HP
[J]. REVIEW OF METAPHYSICS, 1968, 21 (03): : 556 - 556
[9] A 1ST ORDER LOGIC FOR PARTIAL FUNCTIONS
LUCIOCARRASCO, F
GAVILANESFRANCO, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 47 - 58
[10] A 1ST ORDER LOGIC FOR PARTIAL FUNCTIONS
GAVILANESFRANCO, A
LUCIOCARRASCO, F
[J]. THEORETICAL COMPUTER SCIENCE, 1990, 74 (01) : 37 - 69

← 1 2 3 4 5 →