✦ LIBER ✦

On some ascending chains of brouwerian modal logics

✍ Scribed by Michael J. White

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some descending chains of incomplete mod

✍ Ming Xu 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 769 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)

On standard models of fuzzy modal logics

✍ Ying Ming-Sheng 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 549 KB

On some proof theoretical properties of

✍ Marco Borga 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 408 KB

On the size of refutation Kripke models

✍ Hiroakira Ono; Akira Nakamura 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 597 KB

On the Completeness of Chronological Log

✍ Hirokazu Nishimura 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 471 KB 👁 1 views