The fixed point property in modal logic

DOI10.1305/ndjfl/1054837934zbMath1031.03039OpenAlexW2089011123MaRDI QIDQ1409307

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

zbMATH Keywords

modal logicfixed point propertyprovability predicates of Peano Arithmetic

Mathematics Subject Classification ID

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