✦ LIBER ✦

Models of transfinite provability logic

✍ Scribed by Fernández-Duque, David; Joosten, Joost J.

Book ID: 124069836
Publisher: Association for Symbolic Logic
Year: 2013
Tongue: English
Weight: 199 KB
Volume: 78
Category: Article
ISSN: 0022-4812
DOI: 10.2178/jsl.7802110

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The polytopologies of transfinite provab

The polytopologies of transfinite provability logic

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

The Logic of Provability

📂 Article 📅 1996 🏛 John Wiley and Sons ⚖ 208 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

Extensions of the provability logic

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