✦ LIBER ✦

Constructive linear-time temporal logic: Proof systems and Kripke semantics

✍ Scribed by Kensuke Kojima; Atsushi Igarashi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Kripke semantics and proof systems for c

✍ Chuck Liang; Dale Miller 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 357 KB

Linear, Branching Time and Joint Closure

✍ Joeri Engelfriet; Jan Treur 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 225 KB

Unifying proof methodologies of duration

✍ Zhiming Liu; Anders P. Ravn; Xiaoshan Li 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 152 KB

Modeling and testing object-oriented dis

✍ F. Dietrich; X. Logean; J.-P. Hubaux 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 499 KB