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

DOI10.1017/S1755020319000613MaRDI QIDQ3389491zbMATH OpenOpenAlexFDO

Authors Daniyar Shamkanov

Publication date 11 May 2021

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020319000613

zbMATH Keywords

algebraic semanticsprovability logicneighbourhood semanticsglobal consequence relationsnon-well-founded derivationsscattered topological spaces

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 16407 (Why is no real title available?)
• scientific article; zbMATH DE number 3461905 (Why is no real title available?)
• scientific article; zbMATH DE number 3547370 (Why is no real title available?)
• Circular proofs for the Gödel-Löb provability logic
• Does the deduction theorem fail for modal logic?
• Global neighbourhood completeness of the Gödel-Löb provability logic
• Infinitary combinatorics and modal logic
• On neighbourhood semantics thirty years later
• Provability interpretations of modal logic
• Reasoning in circles
• Self-reference and modal logic
• Strong completeness of provability logic for ordinal spaces
• Tools and techniques in modal logic
• Topological aspects of suitable theories
• Topological interpretations of provability logic
• Universal grammar

Cited in

(1)

• Circular (Yet Sound) Proofs in Propositional Logic

This page was built for publication: NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3389491)