✦ LIBER ✦

Infinitary Calculus without Loop Rules for Restricted 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 for a restricted fir

✍ R. Pliuškevičius 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 967 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 Nonperiodic Seq

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