https://plato.stanford.edu/archives/spr2006/entries/logic-provability/
Provability Logic (Stanford Encyclopedia of Philosophy/Spring 2006 Edition)
encyclopedia of philosophyprovabilitylogicstanfordspring
https://shop.elsevier.com/books/provability-computability-and-reflection/beklemishev/978-0-444-53368-5
Provability, Computability and Reflection, Volume 3 - 1st Edition | Elsevier Shop
provabilitycomputabilityreflectionvolumeedition
https://www.illc.uva.nl/Research/Publications/Publications-by-year/publication/3334/Logic-of-Proofs-with-the-Strong-Provability-Operator
Logic of Proofs with the Strong Provability Operator | Institute for Logic, Language and Computation
https://www.illc.uva.nl/Research/Publications/Reports/PP/publication/3692/A-finitary-treatment-of-the-closed-fragment-of-Japaridzes-provability-logic
A finitary treatment of the closed fragment of Japaridze's provability logic | Institute for Logic,...
https://plato.stanford.edu/archives/win2020/entries/logic-provability/
Provability Logic (Stanford Encyclopedia of Philosophy/Winter 2020 Edition)
encyclopedia of philosophyprovabilitylogicstanfordwinter
https://eprints.illc.uva.nl/id/eprint/2026/
DS-2001-07: Logics and Provability - ILLC Preprints and Publications
dslogicsprovabilityillcpreprints
https://alexanderpruss.blogspot.com/2018/05/provability-and-mathematical-experiments.html
Alexander Pruss's Blog: Provability and numerical experiments
A tempting view of mathematics is that mathematicians are discovering not facts about what is true, but about what is provable from what. B...
s blogalexanderprussprovabilitynumerical
https://en.wikipedia.org/wiki/Provability_logic
Provability logic - Wikipedia
provabilitylogicwikipedia
https://shop.elsevier.com/books/provability-computability-and-reflection/beklemishev/978-0-444-53384-5
Provability, Computability and Reflection, Volume 19 - 1st Edition | Elsevier Shop
provabilitycomputabilityreflectionvolumeedition
https://arxiv.org/abs/1302.5393
[1302.5393] The omega-rule interpretation of transfinite provability logic
Abstract page for arXiv paper 1302.5393: The omega-rule interpretation of transfinite provability logic
the omegaruleinterpretationprovabilitylogic
https://plato.stanford.edu/archives/spr2021/entries/logic-provability/
Provability Logic (Stanford Encyclopedia of Philosophy/Spring 2021 Edition)
encyclopedia of philosophyprovabilitylogicstanfordspring
https://eprints.illc.uva.nl/id/eprint/1854/
HDS-22: Aspects of Diagonalization & Provability - ILLC Preprints and Publications
hdsaspectsprovabilityillcpreprints
https://plato.stanford.edu/archives/spr2010/entries/logic-provability/
Provability Logic (Stanford Encyclopedia of Philosophy/Spring 2010 Edition)
encyclopedia of philosophyprovabilitylogicstanfordspring
https://www.illc.uva.nl/Research/Publications/Publications-by-year/publication/3049/Provability-Logics-for-Relative-Interpretability
Provability Logics for Relative Interpretability | Institute for Logic, Language and Computation
provabilitylogicsrelativeinterpretabilityinstitute
https://shop.elsevier.com/books/provability-computability-and-reflection/beklemishev/978-0-444-53397-5
Provability, Computability and Reflection, Volume 32 - 1st Edition | Elsevier Shop
provabilitycomputabilityreflectionvolumeedition
https://shop.elsevier.com/books/provability-computability-and-reflection/beklemishev/978-0-444-53372-2
Provability, Computability and Reflection, Volume 7 - 1st Edition | Elsevier Shop
provabilitycomputabilityreflectionvolumeedition
https://shop.elsevier.com/books/provability-computability-and-reflection/beklemishev/978-0-444-53390-6
Provability, Computability and Reflection, Volume 25 - 1st Edition | Elsevier Shop
provabilitycomputabilityreflectionvolumeedition
https://udspace.udel.edu/items/0975653a-de5a-4a7a-9707-3f24a5fc65d5
Topics in computability, complexity, constructivity & provability
topicscomputabilitycomplexityprovability
https://research.ibm.com/publications/student-teacher-constructive-separations-and-unprovability-in-bounded-arithmetic-witnessing-the-gap
Student-Teacher Constructive Separations and (Un)Provability in Bounded Arithmetic: Witnessing the...
Student-Teacher Constructive Separations and (Un)Provability in Bounded Arithmetic: Witnessing the Gap for STOC 2025 by Stefan Grosser et al.
student teacher
https://research.flw.ugent.be/en/projects/modality-and-provability-perspective-non-deterministic-semantics
Modality and provability from the perspective of non-deterministic semantics | Faculty of Arts and...
from the
https://experts.umn.edu/en/publications/correspondences-between-classical-intuitionistic-and-uniform-prov/
Correspondences between classical, intuitionistic and uniform provability - Experts@Minnesota
correspondencesclassicaluniformprovabilityexperts