Note on some fixed point constructions in provability logic

DOI10.1007/S10992-005-9013-8zbMATH Open1101.03041OpenAlexW2072686503WikidataQ56391245 ScholiaQ56391245MaRDI QIDQ2499296FDOQ2499296

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

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

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)

Cites Work

• Title not available (Why is that?)
• 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.)
• Title not available (Why is that?)
• Provability logic—a short introduction

Cited In (8)

• Characters and fixed points in provability logic
• Note on deduction theorems in contraction-free logics
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
• A new proof of the fixed-point theorem of provability logic
• 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
• Quantified modal logic and self-reference

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)