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.

中文翻译：

---

GÖDEL-LÖB 可证性逻辑中的非有根据推导

我们在 Gödel-Löb 可证明逻辑 GL 中考虑 Hilbert 式的非有根据推导，并确定具有所获得的可推导关系的 GL 对于代数和邻域语义是全局完备的。