𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Socratic Proofs for Quantifiers★

✍ Scribed by Andrzej Wiśniewski; Vasilyi Shangin

Book ID
106452564
Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
659 KB
Volume
35
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Socratic Proofs
Socratic Proofs
✍ Andrzej Wiśniewski 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 182 KB
Provability logics with quantifiers on p
Provability logics with quantifiers on proofs
✍ Rostislav E. Yavorsky 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 124 KB

We study here extensions of the Artemov's logic of proofs in the language with quantiÿers on proof variables. Since the provability operator A could be expressed in this language by the formula ∃u[u]A, the corresponding logic naturally extends the well-known modal provability logic GL. Besides, the