Can I read G¨odel-L¨ob Provability Logic Overview on EtoBox?
G¨odel-L¨ob Provability Logic Overview by Bryan Kearney is a document available to read on EtoBox.
What is G¨odel-L¨ob Provability Logic Overview about?
The document discusses Gödel-Löb provability logic (GL) in a Hilbert-style framework, detailing its axioms, inference rules, and Kripke semantics. It establishes the soundness and completeness of GL, introduces a sequent calculus for GL, and explores the arithmetical interpretation of modal formulae. Additionally, it presents the Refugee Function and its properties in the context of provability logic.
- Author
- Bryan Kearney
- Language
- EN