Uniform satistiability in PSPACE for local temporal logics over Mazurkiewicz traces

被引：0

作者：

Gastin, Paul ^{[1
]}

Kuske, Dietrich

机构：

[1] CNRS, ENS, LSV, Cachan, France

[2] Univ Leipzig, Inst Informat, D-7010 Leipzig, Germany

来源：

FUNDAMENTA INFORMATICAE | 2007年 / 80卷 / 1-3期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We study the complexity of temporal logics over concurrent systems that can be described by Mazurkiewicz traces. We develop a general method to prove that the uniform satisfiability problem of local temporal logics is in PSPACE. We also demonstrate that this method applies to all known local temporal logics.

引用

页码：169 / 197

页数：29

共 50 条

[1] Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
Gastin, Paul
Kuske, Dietrich
[J]. INFORMATION AND COMPUTATION, 2010, 208 (07) : 797 - 816
[2] Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
Castin, P
Kuske, D
[J]. CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, 2005, 3653 : 533 - 547
[3] From local to global temporal logics over Mazurkiewicz traces
Diekert, V
Gastin, P
[J]. THEORETICAL COMPUTER SCIENCE, 2006, 356 (1-2) : 126 - 135
[4] Linear time Temporal Logics over Mazurkiewicz traces
Mukund, M
Thiagarajan, PS
[J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 62 - 92
[5] Pure future local temporal logics are expressively complete for Mazurkiewicz traces
Diekert, Volker
Gastin, Paul
[J]. INFORMATION AND COMPUTATION, 2006, 204 (11) : 1597 - 1619
[6] Pure future local temporal logics are expressively complete for Mazurkiewicz traces
Diekert, V
Gastin, P
[J]. LATIN 2004: THEORETICAL INFORMATICS, 2004, 2976 : 232 - 241
[7] Temporal logics over linear time domains are in PSPACE
Rabinovich, Alexander
[J]. INFORMATION AND COMPUTATION, 2012, 210 : 40 - 67
[8] Temporal Logics over Linear Time Domains Are in PSPACE
Rabinovich, Alexander
[J]. REACHABILITY PROBLEMS, 2010, 6227 : 29 - 50
[9] Quantitative temporal logics over the reals: PSPACE and below
Lutz, Carsten
Walther, Dirk
Wolter, Frank
[J]. INFORMATION AND COMPUTATION, 2007, 205 (01) : 99 - 123
[10] Complete and tractable local linear time temporal logics over traces
Adsul, B
Sohoni, M
[J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 2002, 2380 : 926 - 937

← 1 2 3 4 5 →