✦ LIBER ✦

A Completeness Theorem in Modal Logicby Saul A. Kripke

✍ Scribed by Review by: Arnould Bayart

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantical Considerations for Modal Logi

✍ Review by: Dov Gabbay 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 219 KB

On Some Completeness Theorems in Modal L

✍ Review by: Lennart Åqvist 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 332 KB

The Undecidability of Monadic Modal Quan

✍ Review by: Arnould Bayart 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 301 KB

Semantical Analysis of Modal Logic I. No

✍ Review by: David Kaplan 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 413 KB

A completeness theorem in second order m

✍ NINO B. COCCHIARELLA 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 880 KB

An Extension of a Theorem of Gaifman-Hal

✍ Review by: Haim Gaifman 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 364 KB