@article {Pawlowski2017b, title = {Non-deterministic logic of informal provability has no finite characterization}, year = {Submitted}, author = {Pawlowski, Pawel} }