✦ LIBER ✦

Continuum of normal extensions of the modal logic of provability with the interpolation property

✍ Scribed by L. L. Maksimova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extensions of the provability logic

✍ A. Yu. Muravitskii 📂 Article 📅 1983 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 494 KB

The modal logic of provability: Cut-elim

✍ Silvio Valentini 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 216 KB

An analog of Beth's theorem in normal ex

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

A Class of Extensions of the Modal Syste

✍ R. A. Bull 📂 Article 📅 1965 🏛 John Wiley and Sons 🌐 English ⚖ 282 KB 👁 1 views

Axiomatic extensions of the constructive

✍ Andrzej Sendlewski 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 705 KB

Definability theorems in normal extensio

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