✦ LIBER ✦

Provability interpretations of modal logic

✍ Scribed by Robert M. Solovay

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Knower Paradox in the light of prova

✍ Paul Égré 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 247 KB

The Knower Paradox in the Light of Prova

✍ Paul Égré 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 247 KB

Provability, truth, and modal logic

✍ George Boolos 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 313 KB

The modal logic of provability: Cut-elim

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

Uniform arithmetical completeness of mod

✍ S. N. Artemov 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 420 KB

Predicate provability logic with non-mod

✍ Giorgie Dzhaparidze 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 585 KB