✦ LIBER ✦

On the Completeness and Decidability of the Horn‐Like Fragment of the First‐Order Linear Temporal Logic

✍ Scribed by R. Pliuškevičius

Book ID: 110324974
Publisher: Springer
Year: 2001
Tongue: English
Weight: 118 KB
Volume: 41
Category: Article
ISSN: 0363-1672
DOI: 10.1023/a:1013864621946

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Saturated calculus for Horn-like sequent

Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic

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

Axiomatizing the monodic fragment of fir

Axiomatizing the monodic fragment of first-order temporal logic

✍ Frank Wolter; Michael Zakharyaschev 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 141 KB

It is known that even seemingly small fragments of the ÿrst-order temporal logic over the natural numbers are not recursively enumerable. In this paper we show that the monodic (not monadic, where this result does not hold) fragment is an exception by constructing its ÿnite Hilbert-style axiomatizat

A Decision Procedure for Nonperiodic Seq

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

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

Effective Replaceability of the Omega—Ru

Effective Replaceability of the Omega—Rule for Restricted Sequents of the First–Order Linear Temporal Logic

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

A note on the first-order logic of compl

A note on the first-order logic of complete BL-chains

✍ Petr Hájek; Franco Montagna 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB

Infinitary Calculus without Loop Rules f

Infinitary Calculus without Loop Rules for Restricted Sequents of the First-Order Linear Temporal Logic

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