INCOMPLETENESS OF 1ST-ORDER TEMPORAL LOGIC WITH UNTIL

被引：29

|

作者：

SZALAS, A

HOLENDERSKI, L

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1988年 / 57卷 / 2-3期

关键词：

D O I：

10.1016/0304-3975(88)90045-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：317 / 325

页数：9

相关论文

共 50 条

[1] COMPLETE SEQUENTIAL CALCULI FOR THE 1ST-ORDER SYMMETRICAL LINEAR TEMPORAL LOGIC WITH UNTIL AND SINCE
PLIUSKEVICIUS, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 382 - 393
[2] NONCLAUSAL DEDUCTION IN 1ST-ORDER TEMPORAL LOGIC
ABADI, M
MANNA, Z
[J]. JOURNAL OF THE ACM, 1990, 37 (02) : 279 - 317
[3] ARITHMETICAL AXIOMATIZATION OF 1ST-ORDER TEMPORAL LOGIC
SZALAS, A
[J]. INFORMATION PROCESSING LETTERS, 1987, 26 (03) : 111 - 116
[4] A COMPLETENESS THEOREM OF 1ST-ORDER TEMPORAL LOGIC WITH EQUALITY
TANG, TG
[J]. SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES, 1985, 28 (05): : 532 - 540
[5] A SEQUENT CALCULUS FOR A 1ST-ORDER LINEAR TEMPORAL LOGIC WITH EQUALITY
SAKALAUSKAITE, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 430 - 440
[6] CONCERNING THE SEMANTIC CONSEQUENCE RELATION IN 1ST-ORDER TEMPORAL LOGIC
SZALAS, A
[J]. THEORETICAL COMPUTER SCIENCE, 1986, 47 (03) : 329 - 334
[7] GENERALIZATION OF THE 1ST-ORDER LOGIC
FERENCZI, M
[J]. PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 1978, 22 (2-3): : 157 - 170
[8] 1ST-ORDER PROGRAMMING LOGIC
GERGELY, T
URY, L
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 844 - 844
[9] LOGICAL FOUNDATION FOR LOGIC PROGRAMMING BASED ON 1ST-ORDER LINEAR TEMPORAL LOGIC
PLIUSKEVICIUS, R
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 391 - 406
[10] A COMPLETE AXIOMATIC CHARACTERIZATION OF 1ST-ORDER TEMPORAL LOGIC OF LINEAR TIME
SZALAS, A
[J]. THEORETICAL COMPUTER SCIENCE, 1987, 54 (2-3) : 199 - 214

← 1 2 3 4 5 →