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