✦ LIBER ✦

Vectorial languages and linear temporal logic

✍ Scribed by Olivier Serre

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Linear temporal logic as an executable s

✍ Marta Cialdea Mayer; Carla Limongelli; Andrea Orlandini; Valentina Poggioni 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 301 KB

A framed temporal logic programming lang

✍ Zhen-Hua Duan 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 69 KB

Linear temporal logic with until and nex

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

Temporal Reference in Linear Tense Logic

✍ M. J. Cresswell 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 547 KB

Nesting Until and Since in Linear Tempor

✍ Denis Thérien; Thomas Wilke 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 297 KB

α Logic and Infinitary Languages

✍ Newton C. A. da Costa; Charles C. Pinter 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 490 KB