✦ LIBER ✦

Undecidable properties of extensions of a provability logic. II

✍ Scribed by A. V. Chagrov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidable properties of extensions of

✍ A. V. Chagrov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 769 KB

Extensions of the provability logic

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

Undecidability of some logical extension

✍ Wojciech Buszkowski 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 303 KB

Continuum of normal extensions of the mo

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

A modal provability logic of explicit an

✍ Evan Goris 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 830 KB

Interpolation properties in the extensio

✍ A. V. Karpenko 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 231 KB