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 条

[31] The expressive power of modal logic with inclusion atoms
Hella, Lauri
Stumpf, Johanna
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (193): : 129 - 143
[32] On Fork Arrow Logic and its Expressive Power
Paulo A. S. Veloso
Renata P. de Freitas
Petrucio Viana
Mario Benevides
Sheila R. M. Veloso
[J]. Journal of Philosophical Logic, 2007, 36 : 489 - 509
[33] On the Expressive Power of F-Logic Language
田增平
王宇君
曲云尧
施伯乐
[J]. Journal of Computer Science & Technology, 1997, (06) : 510 - 519
[34] Expressive Actions
Betzler, Monika
[J]. INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 2009, 52 (03): : 272 - 292
[35] THE EXPRESSIVE POWER OF THE TEMPORAL QUERY LANGUAGE LH
Popovici, Matei
Negreanu, Lorina
[J]. UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN-SERIES A-APPLIED MATHEMATICS AND PHYSICS, 2015, 77 (03): : 85 - 92
[36] The expressive power of temporal relational query languages
Tansel, AU
Tin, EK
[J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1997, 9 (01) : 120 - 134
[37] Description and Analysis of Fairness on Temporal Logic of Actions
Li, Juntao
Tang, Zhengyi
Li, Xiang
[J]. 2009 INTERNATIONAL CONFERENCE ON NETWORKING AND DIGITAL SOCIETY, VOL 1, PROCEEDINGS, 2009, : 41 - 44
[38] The expressive power of k-ary exclusion logic
Ronnholm, Raine
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (09) : 1070 - 1099
[39] Decision procedure for temporal logic of belief and actions
Pliuskevicius, R
Pluiskeviciene, A
[J]. INFORMATICA, 2004, 15 (03) : 379 - 398
[40] EXPRESSING MOBILE AMBIENTS IN TEMPORAL LOGIC OF ACTIONS
Aman, Bogdan
Ciobanu, Gabriel
[J]. PROCEEDINGS OF THE ROMANIAN ACADEMY SERIES A-MATHEMATICS PHYSICS TECHNICAL SCIENCES INFORMATION SCIENCE, 2014, 15 (01): : 95 - 104

← 1 2 3 4 5 →