✦ LIBER ✦

An undecidable relevant logic

✍ Scribed by Meyer, Robert K.; Routley, Richard

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Incomplete Relevant Modal Logic

✍ Lou Goble 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 108 KB

An Undecidability Result in the Theory o

✍ Robert K. Meyer 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 506 KB

Decidable modal logic with undecidable a

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

Undecidability of Multi-modal Hybrid Log

✍ Martin Mundhenk; Thomas Schneider 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 361 KB

Undecidability results on two-variable l

✍ Erich Grädel; Martin Otto; Eric Rosen 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 260 KB

The Undecidability of Propositional Adap

✍ Leon Horsten; Philip Welch 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 248 KB