Provability logics with quantifiers on proofs

DOI10.1016/S0168-0072(01)00067-7zbMath0998.03045OpenAlexW2163983803WikidataQ126408213 ScholiaQ126408213MaRDI QIDQ5957922

Rostislav E. Yavorsky

Publication date: 21 May 2002

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

Full work available at URL: https://doi.org/10.1016/s0168-0072(01)00067-7

zbMATH Keywords

provability logicarithmetical complexitylogic of proofsfirst-order extensionsquantifiers

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (4)

From the knowability paradox to the existence of proofs ⋮ A quantified logic of evidence ⋮ Reasoning with Justifications ⋮ Justification logics, logics of knowledge, and conservativity

Cites Work

• Provability interpretations of modal logic
• Logic of proofs
• Unnamed Item

This page was built for publication: Provability logics with quantifiers on proofs