A new proof of the fixed-point theorem of provability logic

DOI10.1305/NDJFL/1093635331MaRDI QIDQ923072zbMATHOpenAlexFDO

Authors Lisa Reidhaar-Olson

Publication date 1990

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093635331

zbMATH Keywords

Kripke modelsfixed-point theoremmodal logic G of provability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• Note on some fixed point constructions in provability logic
• A logical analysis of fixpoint theorems
• Provability logics relative to a fixed extension of Peano arithmetic
• A proof theory for the logic of provability in true arithmetic
• New proofs in default logic theory
• Explicit Proofs in Formal Provability Logic
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• Provability logics with quantifiers on proofs
• scientific article; zbMATH DE number 4072966
• scientific article; zbMATH DE number 2219536

Cited in

(12)

• Characters and fixed points in provability logic
• An abstract look at the fixed-point theorem for provability logic
• String indexes and the proofs of the KRT
• Solovay's completeness without fixed points
• Effectively constructible fixed points in Sacchetti's modal logics of provability
• The Henkin sentence
• scientific article; zbMATH DE number 4029553 (Why is no real title available?)
• A proof-theoretic investigation of a logic of positions
• A note on some extension results
• Modal frame correspondences and fixed-points
• Note on some fixed point constructions in provability logic
• The scope of Gödel's first incompleteness theorem

This page was built for publication: A new proof of the fixed-point theorem of provability logic

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