Global Neighbourhood Completeness of the Gdel-Lb Provability Logic.

Daniyar S. Shamkanov

Browse the full WoLLIC paper archive.