✦ LIBER ✦

First-Order Logic with Two Variables and Unary Temporal Logic

✍ Scribed by Kousha Etessami; Moshe Y. Vardi; Thomas Wilke

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Equality and Monodic First-Order Tempora

✍ Anatoli Degtyarev; Michael Fisher; Alexei Lisitsa 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 516 KB

Complexity Results for First-Order Two-V

✍ Pacholski, Leszek; Szwast, WiesL aw; Tendera, Lidia 📂 Article 📅 2000 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 648 KB

Decidable Cases of First-order Temporal

✍ Walter Hussak 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 234 KB

Investigations on Fragments of First Ord

✍ Franco Montagna; G. Michele Pinna; B. P. Tiezzi 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 195 KB

Sequential Calculus for a First Order In

✍ Hiroya Kawai 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 459 KB

LINKING TEMPORAL FIRST ORDER LOGIC AND H

✍ KATSIRI, ELEFTHERIA; BACON, JEAN; MYCROFT, ALAN 📂 Article 📅 2010 🏛 World Scientific Publishing Company 🌐 English ⚖ 607 KB