The Logic of Provability

1998/01/01 by Giorgi Japaridze, Dick de Jongh · 1 citation
Computer Science · Mathematics · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Algebra and Logic #Mathematics #Arithmetic #Computer science

paper · pdf · doi:10.1016/s0049-237x(98)80022-0

openalex publication_date 1998/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/02

Abstract

This chapter is dedicated to the memory of George Boolos. From the start of the subject until his death on 27 May 1996 he was the prime inspirer of the work in the logic of provability.

Citations

• Logic and Structure
• Provability interpretations of modal logic

Cited by

• Embeddings of Propositional Logics into the Provability Logics S and D
• Cointerpretability [wikipedia]