TY - JOUR T1 - Non-deterministic logic of informal provability has no finite characterization Y1 - Submitted A1 - Pawlowski, Pawel ER -