✦ LIBER ✦

Provability, truth, and modal logic

✍ Scribed by George Boolos

Publisher: Springer Netherlands
Year: 1980
Tongue: English
Weight: 313 KB
Volume: 9
Category: Article
ISSN: 0022-3611
DOI: 10.1007/bf00258073

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The modal logic of provability: Cut-elim

The modal logic of provability: Cut-elimination

✍ Silvio Valentini 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 216 KB

A modal provability logic of explicit an

A modal provability logic of explicit and implicit proofs

✍ Evan Goris 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 830 KB

Predicate provability logic with non-mod

Predicate provability logic with non-modalized quantifiers

✍ Giorgie Dzhaparidze 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 585 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

A note of provability, truth and existen

A note of provability, truth and existence

✍ Arnon Avron 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 294 KB

Intensional logics and logical truth

✍ M. J. Cresswell 📂 Article 📅 1972 🏛 Springer Netherlands 🌐 English ⚖ 754 KB