The fixed point property in modal logic
From MaRDI portal
Publication:1409307
DOI10.1305/ndjfl/1054837934zbMath1031.03039OpenAlexW2089011123MaRDI QIDQ1409307
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
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)
Related Items
Effectively constructible fixed points in Sacchetti's modal logics of provability, Rosser provability and normal modal logics, Unnamed Item, Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations, Interpolation properties for Sacchetti's logics
Cites Work
- Modal tableau calculi and interpolation
- The modal logic of provability. The sequential approach
- Self-reference and modal logic
- Amalgamation and interpolation in normal modal logics
- Arithmetization of metamathematics in a general setting
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item