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

DOI10.1017/S1755020319000613zbMATH Open1486.03099OpenAlexW2990271025MaRDI QIDQ3389491FDOQ3389491

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

• Tools and techniques in modal logic
• Provability interpretations of modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Self-reference and modal logic
• Does the deduction theorem fail for modal logic?
• Universal grammar
• Infinitary combinatorics and modal logic
• Title not available (Why is that?)
• Circular proofs for the Gödel-Löb provability logic
• Topological interpretations of provability logic
• Strong completeness of provability logic for ordinal spaces
• Topological aspects of suitable theories
• Global neighbourhood completeness of the Gödel-Löb provability logic
• On neighbourhood semantics thirty years later
• Reasoning in circles

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)