The following publications are possibly variants of this publication:
- Pure future local temporal logics are expressively complete for Mazurkiewicz tracesVolker Diekert, Paul Gastin. iandc, 204(11):1597-1619, 2006. [doi]
- An Elementary Expressively Complete Temporal Logic for Mazurkiewicz TracesPaul Gastin, Madhavan Mukund. icalp 2002: 938-949 [doi]
- An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz TracesVolker Diekert, Paul Gastin. csl 1999: 188-203
- LTL Is Expressively Complete for Mazurkiewicz TracesVolker Diekert, Paul Gastin. icalp 2000: 211-222 [doi]
- LTL Is Expressively Complete for Mazurkiewicz TracesVolker Diekert, Paul Gastin. jcss, 64(2):396-418, 2002. [doi]
- Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz TracesPaul Gastin, Madhavan Mukund, K. Narayan Kumar. mfcs 2003: 429-438 [doi]
- From local to global temporal logics over Mazurkiewicz tracesVolker Diekert, Paul Gastin. TCS, 356(1-2):126-135, 2006. [doi]
- Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz TracesPaul Gastin, Dietrich Kuske. concur 2005: 533-547 [doi]
- Uniform satisfiability problem for local temporal logics over Mazurkiewicz tracesPaul Gastin, Dietrich Kuske. iandc, 208(7):797-816, 2010. [doi]
- Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz TracesPaul Gastin, Dietrich Kuske. FUIN, 80(1-3):169-197, 2007. [doi]