Invariance under stuttering in a temporal logic of actions

被引：2

作者：

Kaminski, Michael ^{[1
]}

机构：

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

来源：

THEORETICAL COMPUTER SCIENCE | 2006年 / 368卷 / 1-2期

关键词：

temporal logic of actions; temporal interpretations; invariance under stuttering; Ehrenfeucht-Fraisse games;

D O I：

10.1016/j.tcs.2006.06.020

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We show that some simple and useful stutter-invariant properties definable in the language of Lamport's Simple Temporal Logic of Actions (STLA) are not definable in STLA and present a natural extension of STLA that allows one to express all stutter-invariant properties definable in the language of STLA. (c) 2006 Elsevier B.V. All rights reserved.

引用

页码：50 / 63

页数：14

共 50 条

[1] Invariance under stuttering in a temporal logic without the "until" operator
Kaminski, Michael
[J]. FUNDAMENTA INFORMATICAE, 2008, 82 (1-2) : 127 - 140
[2] THE TEMPORAL LOGIC OF ACTIONS
LAMPORT, L
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 872 - 923
[3] Defining noninterference in the temporal logic of actions
Fine, T
[J]. 1996 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 1996, : 12 - 21
[4] The expressive power of temporal logic of actions
Estrin, A
Kaminski, M
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (05) : 839 - 859
[5] Actions with Failures in Interval Temporal Logic
Hommersom, Arjen
Lucas, Peter
[J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2008, 5056 : 22 - 41
[6] AN AXIOMATIZATION OF LAMPORT TEMPORAL LOGIC OF ACTIONS
ABADI, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 57 - 69
[7] The expressive power of temporal logic of actions
Estrin, A
Kaminski, M
[J]. CONCUR '99: CONCURRENCY THEORY, 1999, 1664 : 274 - 287
[8] 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
[9] Decision procedure for temporal logic of belief and actions
Pliuskevicius, R
Pluiskeviciene, A
[J]. INFORMATICA, 2004, 15 (03) : 379 - 398
[10] 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 →