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

DOI10.1017/S1755020319000613zbMath1486.03099OpenAlexW2990271025MaRDI QIDQ3389491

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)

Related Items (1)

Circular (Yet Sound) Proofs in Propositional Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Does the deduction theorem fail for modal logic?
• Self-reference and modal logic
• Provability interpretations of modal logic
• Tools and techniques in modal logic
• Global neighbourhood completeness of the Gödel-Löb provability logic
• Circular proofs for the Gödel-Löb provability logic
• Infinitary combinatorics and modal logic
• Topological aspects of suitable theories
• STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
• Reasoning in circles
• Topological Interpretations of Provability Logic
• Universal grammar

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