The Gödel-Löb provability logic GL is strongly neighbourhood complete in the case of the so-called local semantic consequence relation. In the given paper, we consider Hilbert-style non-well-founded derivations in GL and establish that GL with the obtained derivability relation is strongly neighbourhood complete in the case of the global semantic consequence relation.
CITATION STYLE
Shamkanov, D. (2017). Global neighbourhood completeness of the gödel-löb provability logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10388 LNCS, pp. 358–370). Springer Verlag. https://doi.org/10.1007/978-3-662-55386-2_26
Mendeley helps you to discover research relevant for your work.