✦ LIBER ✦

A completeness theorem in second order modal logic

✍ Scribed by NINO B. COCCHIARELLA

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A strong completeness theorem in intuiti

✍ Hengshan Gao 📂 Article 📅 2000 🏛 SP Science China Press 🌐 English ⚖ 556 KB

On Some Completeness Theorems in Modal L

✍ D. Makinson 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 369 KB

ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC1) by D. MAKINSON in Oxford (England)

Effective completeness theorems for moda

✍ Suman Ganguli; Anil Nerode 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 527 KB

Reduction of second-order logic to modal

✍ S. K. Thomason 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 464 KB

Completeness and Hauptsatz for second or

✍ DAG PRAWITZ 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 592 KB

Expressivity of Second Order Proposition

✍ Balder ten Cate 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 375 KB