✦ LIBER ✦

Pure future local temporal logics are expressively complete for Mazurkiewicz traces

✍ Scribed by Volker Diekert; Paul Gastin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Expressively Complete Linear Time Tem

✍ P.S. Thiagarajan; I. Walukiewicz 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 203 KB

Uniform satisfiability problem for local

✍ Paul Gastin; Dietrich Kuske 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 457 KB

Local temporal logic is expressively com

✍ Volker Diekert; Paul Gastin 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 306 KB