✦ LIBER ✦

A decidable noncompact extension of the logic S4

✍ Scribed by V. V. Rybakov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Noncompact extensions of the logicS4

✍ V. V. Rybakov 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 987 KB

On a decidable generalized quantifier lo

✍ Natasha Alechina 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 784 KB

Two decidable classes of formulas of the

✍ S. Norgėla 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 573 KB

The decidability of admissibility proble

✍ S. V. Babenyshev 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 834 KB

Hereditarily finitely axiomatizable exte

✍ V. V. Rybakov 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 775 KB

A Łukasiewicz-style refutation system fo

✍ Tomasz Skura 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 359 KB