Uniform satisfiability problem for local temporal logics over mazurkiewicz traces

Lecture Notes in Computer Science

Volumn 3653, Issue , 2005, Pages 533-547

  Gastin, Paul ^a   Kuske, Dietrich ^b  

^a CNRS   (France)

^b UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; PROBLEM SOLVING;

CONCURRENT SYSTEMS; MONADIC QUANTIFIER; TEMPORAL LOGICS;

CONCURRENCY CONTROL;

EID: 27244457557     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11539452_40     Document Type: Conference Paper

References (14)

1. B. Adsul and M. Sohoni. Complete and tractable local linear time temporal logics over traces. In Proc. of ICALP'02, number 2380 in LNCS, pages 926-937. Springer Verlag, 2002.
2. R. Alur, D. Peled, and W. Penczek. Model-checking of causality properties. In Proc. of LICS'95, pages 90-100. IEEE Computer Society Press, 1995.
3. V. Diekert and P. Gastin. Local temporal logic is expressively complete for cograph dependence alphabets. Information and Computation, 195:30-52, 2004.
4. V. Diekert and P. Gastin. Pure future local temporal logics are expressively complete for Mazurkiewicz traces. In Proc. of LATIN'04, number 2976 in LNCS, pages 232-241. Springer Verlag, 2004.
5. V. Diekert and G. Rozenberg, editors. The Book of Traces. World Scientific, Singapore, 1995.
6. H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer Verlag, 1991.
7. D. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic. Oxford University Press, 1994.
8. P. Gastin and D. Kuske. Satisfiability and model checking for MSO-definable temporal logics are in PSPACE. In Proc. of CONCUR'03, number 2761 in LNCS, pages 222-236. Springer Verlag, 2003.
9. P. Gastin and M. Mukund. An elementary expressively complete temporal logic for Mazurkiewicz traces. In Proc. of ICALP'02, number 2380 in LNCS, pages 938-949. Springer Verlag, 2002.
10. P. Gastin, M. Mukund, and K. Narayan Kumar. Local LTL with past constants is expressively complete for Mazurkiewicz traces. In Proc. of MFCS'03, number 2747 in LNCS, pages 429-438. Springer Verlag, 2003.
11. M. Mukund and P.S. Thiagarajan. Linear time temporal logics over Mazurkiewicz traces. In Proc. of MFCS'96, number 1113 in LNCS, pages 62-92. Springer Verlag, 1996.
12. Th. Schwentick and K. Bartelmann. Local normal forms for first-order logic with applications to games and automata. Discrete Mathematics and Computer Science, 3:109-124, 1999.
13. P.S. Thiagarajan. A trace based extension of linear time temporal logic. In Proc. of LICS'94, pages 438-447. IEEE Computer Society Press, 1994.
14. P.S. Thiagarajan. A trace consistent subset of PTL. In Proc. of CONCUR'95, number 962 in LNCS, pages 438-452. Springer Verlag, 1995.