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

Article

Non-well-founded derivations in the Gödel-Löb provability logic

Review of Symbolic Logic. 2019. P. 1-22.

We consider Hilbert-style non-well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics.