✦ LIBER ✦

Classification of extensions of the modal logic S4

✍ Scribed by Maksimova, L. L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hereditarily finitely axiomatizable exte

✍ V. V. Rybakov 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 775 KB

Path calculus in the modal logic S4

✍ S. Norgėla 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 85 KB

Extensions of Makinson's Completeness Th

✍ R. Routley 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 890 KB

An analog of Beth's theorem in normal ex

✍ L. L. Maksimova 📂 Article 📅 1992 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 814 KB

A classification of modal logics

✍ L. L. Maksimova 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 547 KB

Modal extension of logic programming sys

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