@incollection {2045, title = {Logics of (formal and informal) provability}, booktitle = {Handbook of Formal Philosophy}, year = {In Press}, publisher = {Springer}, author = {Urbaniak, Rafal and Pawlowski, Pawel}, editor = {Hansson, Sven Ove and Hendricks, Vincent F.} }