✦ LIBER ✦

Some decidable classes of formulas of pure hybrid logic

✍ Scribed by S. Norgėla; A. Šalaviejienė

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Two decidable classes of formulas of the

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

Decidability of Some Classes of Modal Lo

✍ S. Norgėla 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 95 KB

Decidability of Some Logics with Free Qu

✍ D. A. Anapolitanos; J. A. Väänänen 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 342 KB

Gentzenization and decidability of some

✍ Ross T. Brady 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 808 KB

Deciding a Class of Path Formulas for Co

✍ Hsu-Chun Yen; Bow-Yaw Wang; Ming-Sheng Yang 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 239 KB

Depth and polynomial equivalence of form

✍ A. B. Ugol'nikov 📂 Article 📅 1987 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 414 KB