A realization theorem for the Gödel-Löb provability logic

DOI10.1070/SM8667OpenAlexW2498092558MaRDI QIDQ2957859

Daniyar Shamkanov

Publication date: 30 January 2017

Published in: Sbornik: Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/sm8667

zbMATH Keywords

provability logicjustification logicrealization theoremcyclic proofs

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Structure of proofs (03F07) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

Semirings of Evidence

Cites Work

• Realizations and LP
• The modal logic of provability. The sequential approach
• A modal sequent calculus for a fragment of arithmetic
• Circular proofs for the Gödel-Löb provability logic
• Explicit Provability and Constructive Semantics
• On the proof theory of the modal logic for arithmetic provability

This page was built for publication: A realization theorem for the Gödel-Löb provability logic