✦ LIBER ✦

A Decision Procedure for Nonperiodic Sequents of the First-Order Linear Temporal Logic

✍ Scribed by R. Pliuškevičius

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Infinitary Calculus without Loop Rules f

✍ R. Pliuškevičius 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 106 KB

Effective Replaceability of the Omega—Ru

✍ R. Pliuškevičius 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 386 KB

Saturated calculus for Horn-like sequent

✍ R. Pliuškevičius 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 995 KB

A Decision Procedure for the First Order

✍ Ferrante, Jeanne; Rackoff, Charles 📂 Article 📅 1975 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 929 KB

Infinitary calculus for a restricted fir

✍ R. Pliuškevičius 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 967 KB

On the Completeness and Decidability of

✍ R. Pliuškevičius 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 118 KB