The expressive power of temporal logic of actions

被引：0

作者：

Estrin, A

Kaminski, M

机构：

[1] Avant Corp, Fremont, CA 94538 USA

[2] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel

来源：

CONCUR '99: CONCURRENCY THEORY | 1999年 / 1664卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

It is shown that the satisfiability/validity questions in Temporal Logic of Actions can be translated into satisfiability/validity questions in Second Order Temporal Logic and vice versa. The translation from Second Order Temporal Logic into Temporal Logic of Actions is linear and the translation from Temporal Logic of Actions into Second Order Temporal Logic is quadratic.

引用

页码：274 / 287

页数：14

共 50 条

[1] The expressive power of temporal logic of actions
Estrin, A
Kaminski, M
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (05) : 839 - 859
[2] ON THE EXPRESSIVE POWER OF TEMPORAL LOGIC
COHEN, J
PERRIN, D
PIN, JE
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1993, 46 (03) : 271 - 294
[3] ON THE EXPRESSIVE POWER OF TEMPORAL LOGIC FOR INFINITE WORDS
COHENCHESNOT, J
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 83 (02) : 301 - 312
[4] On the Expressive Power of Some Extensions of Linear Temporal Logic
Gnatenko, A. R.
Zakharov, V. A.
[J]. AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2019, 53 (07) : 663 - 675
[5] On the Expressive Power of Some Extensions of Linear Temporal Logic
A. R. Gnatenko
V. A. Zakharov
[J]. Automatic Control and Computer Sciences, 2019, 53 : 663 - 675
[6] THE TEMPORAL LOGIC OF ACTIONS
LAMPORT, L
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 872 - 923
[7] AN EXPRESSIVE LOGIC FOR A PROCESS ALGEBRA WITH SILENT ACTIONS
GRAF, S
SIFAKIS, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 44 - 61
[8] AN EXPRESSIVE LOGIC FOR A PROCESS ALGEBRA WITH SILENT ACTIONS
GRAF, S
SIFAKIS, J
[J]. TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 44 - 61
[9] TEMPORAL LOGIC CAN BE MORE EXPRESSIVE
WOLPER, P
[J]. INFORMATION AND CONTROL, 1983, 56 (1-2): : 72 - 99
[10] An expressive temporal logic for real time
Hirshfeld, Yoram
Rabinovich, Alexander
[J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2006, PROCEEDINGS, 2006, 4162 : 492 - 504

← 1 2 3 4 5 →