P. Pawlowski and R. Urbaniak, “Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability”, LLP, vol. 31, no. 3, pp. 501–527, Nov. 2021.