✦ LIBER ✦

On systems of modal logic with provability interpretations

✍ Scribed by GEORGE BOOLOS

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Provability interpretations of modal log

✍ Robert M. Solovay 📂 Article 📅 1976 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 696 KB

Modal logics with several operators and

✍ Tim Carlson 📂 Article 📅 1986 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 393 KB

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

The modal logic of provability: Cut-elim

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

Predicate provability logic with non-mod

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