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 条

[41] From Ultrafilters on Words to the Expressive Power of a Fragment of Logic
Gehrke, Mai
Krebs, Andreas
Pin, Jean-Eric
[J]. DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014, 2014, 8614 : 138 - 149
[42] Counting on CTL*: on the expressive power of monadic path logic
Moller, F
Rabinovich, A
[J]. INFORMATION AND COMPUTATION, 2003, 184 (01) : 147 - 159
[43] Invariance under stuttering in a temporal logic of actions
Kaminski, Michael
[J]. THEORETICAL COMPUTER SCIENCE, 2006, 368 (1-2) : 50 - 63
[44] The Expressive Power of k-ary Exclusion Logic
Ronnholm, Raine
[J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 : 375 - 391
[45] On the expressive power of monadic least fixed point logic
Schweikardt, N
[J]. AUTOMATA , LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2004, 3142 : 1123 - 1135
[46] The expressive power of stratified logic programs with value invention
Cabibbo, L
[J]. INFORMATION AND COMPUTATION, 1998, 147 (01) : 22 - 56
[47] The expressive power of fixed-point logic with counting
Otto, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (01) : 147 - 176
[48] On the expressive power of monadic least fixed point logic
Schweikardt, N
[J]. THEORETICAL COMPUTER SCIENCE, 2006, 350 (2-3) : 325 - 344
[49] Logic of involved variables - System specification with Temporal Logic of Distributed Actions
Alexander, A
Reisig, W
[J]. THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 167 - 176
[50] On translations of temporal logic of actions into monadic second-order logic
Rabinovich, A
[J]. THEORETICAL COMPUTER SCIENCE, 1998, 193 (1-2) : 197 - 214

← 1 2 3 4 5 →