✦ LIBER ✦

On the positive fragment of the polymodal provability logic GLP

✍ Scribed by E. V. Dashkov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The decision problem of provability logi

✍ Vítězslav Švejdar 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 161 KB

On the logic of positive selection

✍ Melvin Cohn 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 51 KB

On the Algebraizability of the Implicati

✍ Butchart, Sam; Rogerson, Susan 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 308 KB

On Deciding the Provability of Certain F

✍ George Boolos 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 115 KB

On the Zoölogical Position of the Albino

✍ Shinkishi Hatai 📂 Article 📅 1907 🏛 Marine Biological Laboratory 🌐 English ⚖ 878 KB

The expressibility of fragments of Hybri

✍ Gate, James; Stewart, Iain A. 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 501 KB