Note on some fixed point constructions in provability logic

DOI10.1007/S10992-005-9013-8zbMath1101.03041OpenAlexW2072686503WikidataQ56391245 ScholiaQ56391245MaRDI QIDQ2499296

No author found.

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 pointGödel-Löb logicSambin's algorithm

Mathematics Subject Classification ID

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

Related Items (1)

Effectively constructible fixed points in Sacchetti's modal logics of provability

Cites Work

• The modal logic of provability. The sequential approach
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Provability logic—a short introduction
• Unnamed Item
• Unnamed Item

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