• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

Global neighbourhood completeness of the Gödel-Löb provability logic

P. 358-370.

The Gödel-Löb provability logic GL and establish that