✦ LIBER ✦

On the Syntactical Construction of Systems of Modal Logic

✍ Scribed by J. C. C. McKinsey

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Syntactical Construction of Syste

✍ Review by: Frederic B. Fitch 📂 Article 📅 1946 🏛 Association for Symbolic Logic 🌐 English ⚖ 322 KB

Syntactical results on the arithmetical

✍ Paolo Gentilini 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 801 KB

On McKinsey's Syntactical Characterizati

✍ Review by: David Makinson 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 176 KB

On systems of modal logic with provabili

✍ GEORGE BOOLOS 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 494 KB

Modal extension of logic programming sys

✍ A. V. Pozharskii 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 295 KB

On an Axiomatic System of Modal Logic

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