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 条
  • [21] On the expressive power of light affine logic
    Dal Lago, Ugo
    [J]. 2003, Springer Verlag (2841):
  • [22] Expressive power and complexity in algebraic logic
    Hirsch, R
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (03) : 309 - 351
  • [23] ON THE EXPRESSIVE POWER OF ANNOTATED LOGIC PROGRAMS
    KIFER, M
    SUBRAHMANIAN, VS
    [J]. LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 1069 - 1089
  • [24] Complexity and expressive power of logic programming
    Dantsin, E
    Eiter, T
    Gottlob, G
    Voronkov, A
    [J]. ACM COMPUTING SURVEYS, 2001, 33 (03) : 374 - 425
  • [25] Defining noninterference in the temporal logic of actions
    Fine, T
    [J]. 1996 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 1996, : 12 - 21
  • [26] Actions with Failures in Interval Temporal Logic
    Hommersom, Arjen
    Lucas, Peter
    [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2008, 5056 : 22 - 41
  • [27] AN AXIOMATIZATION OF LAMPORT TEMPORAL LOGIC OF ACTIONS
    ABADI, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 57 - 69
  • [28] On the expressive power of F-logic language
    Zengping Tian
    Yujun Wang
    Yunyao Qu
    Baile Shi
    [J]. Journal of Computer Science and Technology, 1997, 12 (6) : 510 - 519
  • [29] On the Expressive Power of IF-Logic with Classical Negation
    Figueira, Santiago
    Gorin, Daniel
    Grimson, Rafael
    [J]. LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, WOLLIC 2011, 2011, 6642 : 135 - 145
  • [30] On fork arrow logic and its expressive power
    Veloso, Paulo A. S.
    de Freitas, Renata P.
    Viana, Petrucio
    Benevides, Mario
    Veloso, Sheila R. M.
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2007, 36 (05) : 489 - 509
12345