Effectively constructible fixed points in Sacchetti's modal logics of provability
From MaRDI portal
Publication:2134275
DOI10.1215/00294527-2022-0003OpenAlexW2903170125MaRDI QIDQ2134275
Publication date: 6 May 2022
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1811.12827
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- A new proof of the fixed-point theorem of provability logic
- The modal logic of provability. The sequential approach
- Self-reference and modal logic
- Provability interpretations of modal logic
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
- The fixed point property in modal logic
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
- Note on some fixed point constructions in provability logic
- Provability logic—a short introduction
This page was built for publication: Effectively constructible fixed points in Sacchetti's modal logics of provability