✦ LIBER ✦

Undecidability of Multi-modal Hybrid Logics

✍ Scribed by Martin Mundhenk; Thomas Schneider

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Natural Deduction, Hybrid Systems and Mo

✍ Indrzejczak, Andrzej 📂 Article 📅 2010 🏛 Springer Netherlands ⚖ 437 KB

Natural Deduction, Hybrid Systems and Mo

✍ Indrzejczak, Andrzej 📂 Article 📅 2010 🏛 Springer Netherlands ⚖ 514 KB

Decidable modal logic with undecidable a

✍ A. V. Chagrov 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 514 KB

On the Undecidability of Monadic Modal P

✍ Akira Nakamura 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB 👁 1 views

Natural Deduction, Hybrid Systems and Mo

✍ Indrzejczak, Andrzej 📂 Article 📅 2010 🏛 Springer Netherlands ⚖ 478 KB

Natural Deduction, Hybrid Systems and Mo

✍ Indrzejczak, Andrzej 📂 Article 📅 2010 🏛 Springer Netherlands ⚖ 471 KB