Pawlowski, Pawel, and Rafal Urbaniak. 2021. “Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability”. Logic and Logical Philosophy 31 (3):501-27. https://doi.org/10.12775/LLP.2021.016.