Weak arithmetical interpretations for the Logic of Proofs

DOI10.1093/jigpal/jzw002zbMath1405.03096OpenAlexW2315012277WikidataQ113818830 ScholiaQ113818830MaRDI QIDQ4644547

Roman Kuznets, Thomas Studer

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/86232/1/LP_Arith.pdf

zbMATH Keywords

Peano arithmeticlogic of proofsrealization theorem

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (5)

A Conflict Tolerant Logic of Explicit Evidence ⋮ Explicit non-normal modal logic ⋮ A logic of interactive proofs ⋮ Semirings of Evidence ⋮ Justification Logics with Probability Operators

This page was built for publication: Weak arithmetical interpretations for the Logic of Proofs