Pawlowski, P. and Urbaniak, R. (2021) “Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability”, Logic and Logical Philosophy, 31(3), pp. 501–527. doi: 10.12775/LLP.2021.016.