✦ LIBER ✦

On regular temporal logics with past

✍ Scribed by Christian Dax; Felix Klaedtke; Martin Lange

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On regular modal logics with axiom □ ⊤ →

✍ Kazimierz Świrydowicz 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 213 KB

∞-Regular temporal logic and its model c

✍ Kiyoharu Hamaguchi; Hiromi Hiraishi; Shuzo Yajima 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 888 KB

Proving linearizability with temporal lo

✍ Simon Bäumler; Gerhard Schellhorn; Bogdan Tofan; Wolfgang Reif 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 767 KB

On temporal logic versus datalog

✍ Irène Guessarian; Eugénie Foustoucos; Theodore Andronikos; Foto Afrati 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 381 KB

On undecidability of propositional tempo

✍ Wojciech Penczek 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 607 KB

Linear temporal logic with until and nex

✍ V. Rybakov 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 373 KB