Note on some fixed point constructions in provability logic

DOI10.1007/S10992-005-9013-8MaRDI QIDQ2499296zbMATH OpenOpenAlexWikidataFDO

Authors Per Lindström

Publication date 14 August 2006

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-005-9013-8

zbMATH Keywords

fixed pointSambin's algorithmGödel-Löb logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• A new proof of the fixed-point theorem of provability logic
• Effectively constructible fixed points in Sacchetti's modal logics of provability
• Characters and fixed points in provability logic
• Least fixed points in the Gödel-Löb logic
• On modal \(\mu \)-calculus and Gödel-Löb logic

Cites work

• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Provability logic—a short introduction
• The modal logic of provability. The sequential approach

Cited in

(8)

• Quantified modal logic and self-reference
• Characters and fixed points in provability logic
• Note on deduction theorems in contraction-free logics
• A new proof of the fixed-point theorem of provability logic
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
• Least fixed points in the Gödel-Löb logic
• Constructive canonicity for lattice-based fixed point logics
• Effectively constructible fixed points in Sacchetti's modal logics of provability

This page was built for publication: Note on some fixed point constructions in provability logic

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