The fixed point property in modal logic
DOI10.1305/NDJFL/1054837934zbMATH Open1031.03039OpenAlexW2089011123MaRDI QIDQ1409307FDOQ1409307
Authors: Lorenzo Sacchetti 
Publication date: 13 October 2003
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1054837934
Recommendations
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cites Work
- Title not available (Why is that?)
- Arithmetization of metamathematics in a general setting
- Title not available (Why is that?)
- Title not available (Why is that?)
- The modal logic of provability. The sequential approach
- Modal tableau calculi and interpolation
- Self-reference and modal logic
- Amalgamation and interpolation in normal modal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- Fixed points of formulas with double modalities
- The provability logic for \(\Sigma_ 1\)-interpolability
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
- Incompleteness and fixed points
- Modal frame correspondences and fixed-points
- Interpolation properties for Sacchetti's logics
- On the Craig interpolation and the fixed point properties for GLP
- Effectively constructible fixed points in Sacchetti's modal logics of provability
- Rosser provability and normal modal logics
- Quantified modal logic and self-reference
This page was built for publication: The fixed point property in modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1409307)
