✦ LIBER ✦

The polytopologies of transfinite provability logic

✍ Scribed by Fernández-Duque, David

Book ID: 121547255
Publisher: Springer
Year: 2014
Tongue: English
Weight: 535 KB
Volume: 53
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-014-0371-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Models of transfinite provability logic

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

The Logic of Provability

📂 Article 📅 1996 🏛 John Wiley and Sons ⚖ 208 KB

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

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