Global Neighbourhood Completeness of the Provability Logic

Daniyar S. Shamkanov

Browse the full AiML paper archive.