Provability logic. In The Stanford Encyclopedia of Philosophy (2005)

by R L Verbrugge
Venue:In Programming Languages and Systems (APLAS’05