✦ LIBER ✦

A logic of temporal variables

✍ Scribed by A.G. Stothert; I.M. Macleod

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interval temporal logic: A note

✍ Robert F. Barnes 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 146 KB

Completeness of a combination of neighbo

✍ Rana Barua 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 105 KB

Temporal Logics of Agency

✍ Johan van Benthem; Eric Pacuit 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 123 KB

A framed temporal logic programming lang

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

A Temporal Semantics for Basic Logic

✍ Stefano Aguzzoli; Matteo Bianchi; Vincenzo Marra 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 259 KB

A Temporal Logic for Supporting Historic

✍ Shichao Zhang 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 149 KB