On arithmetical completeness of the logic of proofs

DOI10.1016/j.apal.2018.09.004zbMath1412.03022OpenAlexW2890211092WikidataQ113880328 ScholiaQ113880328MaRDI QIDQ1625591

Taishi Kurahashi, Sohei Iwata

Publication date: 29 November 2018

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2018.09.004

zbMATH Keywords

logic of proofsproof predicatesarithmetical completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Provability interpretations of modal logic
• Explicit Provability and Constructive Semantics
• On modal systems having arithmetical interpretations
• Arithmetically complete modal theories
• Extremely undecidable sentences

This page was built for publication: On arithmetical completeness of the logic of proofs