✦ LIBER ✦

An analog of Beth's theorem in normal extensions of the modal logic K4

✍ Scribed by L. L. Maksimova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Absence of the interpolation property in

✍ L. L. Maksimova 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 301 KB

Continuum of normal extensions of the mo

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

Definability theorems in normal extensio

✍ Larisa L. Maksimova 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 546 KB

An analog of the Bjerknes theorem in mag

✍ K. P. Gorshenin 📂 Article 📅 1996 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 111 KB

An analog of the fundamental theorem of

✍ V. A. Testov 📂 Article 📅 1997 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 326 KB

Prenex Normal Form in the Modal Predicat

✍ Robert L. Wilson 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 512 KB