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

DOI10.1007/978-3-662-55386-2_26zbMath1496.03249OpenAlexW2733674540MaRDI QIDQ1685941

Daniyar Shamkanov

Publication date: 20 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55386-2_26

zbMATH Keywords

provability logicneighbourhood semanticsglobal consequence relationsnon-well-founded proofs

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC

This page was built for publication: Global neighbourhood completeness of the Gödel-Löb provability logic