Pawlowski, P.; Urbaniak, R. Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability. LLP 2021, 31, 501-527.