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