✦ LIBER ✦

The Logic of Provability

Book ID: 111051431
Publisher: John Wiley and Sons
Year: 1996
Weight: 208 KB
Volume: 37
Category: Article
ISSN: 0031-8051
DOI: 10.1111/j.1468-0149.1996.tb02519.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extensions of the provability logic

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

Logics of Provability

✍ Review by: Timothy Williamson 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

The polytopologies of transfinite provab

The polytopologies of transfinite provability logic

✍ Fernández-Duque, David 📂 Article 📅 2014 🏛 Springer 🌐 English ⚖ 535 KB

Provability interpretations of modal log

Provability interpretations of modal logic

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

Logic of proofs and provability

✍ Tatiana Yavorskaya (Sidon) 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 216 KB

In the paper the joint Logic of Proofs and Provability LPP is presented that incorporates both the modality for provability (Israel J. Math. 25 (1976) 287-304) and the proof operator <t=F representing the proof predicate "t is a proof of F " (Technical Report No. CFIS 95-29, Cornell University, 1995

Models of transfinite provability logic

✍ Fernández-Duque, David; Joosten, Joost J. 📂 Article 📅 2013 🏛 Association for Symbolic Logic 🌐 English ⚖ 199 KB