✦ LIBER ✦

The Undecidability of Monadic Modal Quantification Theory

✍ Scribed by Saul A. Kripke

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Undecidability of Monadic Modal P

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

Definability in the Existential Theory o

✍ J. Richard Büchi†; Steven Senger 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 414 KB 👁 1 views

On the Proof Theory of the Modal Logic G

✍ M. Borga; P. Gentilini 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB 👁 1 views

THE MODAL THEORY OF PURE IDENTITY AND SO

✍ Harold T. Hodes 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 493 KB 👁 1 views

Cognitive load theory, modality of prese

✍ Wayne Leahy; John Sweller 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 153 KB 👁 2 views

The Theory of Boolean Algebras With Q0 a

✍ Martin Weese 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 190 KB 👁 1 views