Explicit fixed points in interpretability logic

DOI10.1007/BF00370386MaRDI QIDQ1176094zbMATH OpenOpenAlexFDO

Authors Albert Visser, Dick H. J. de Jongh

Publication date 25 June 1992

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00370386

zbMATH Keywords

explicit definability of fixed pointsinterpretability logicprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Relative consistency and interpretations (03F25) Gödel numberings and issues of incompleteness (03F40)

Review text

The explicit definability of fixed points is proved for the interpretability logic IL. The authors also show that the uniqueness is an immediate corollary of a theorem of Smoryński and that the fixed points can be simplified in the case of ILW.

Recommendations

• scientific article; zbMATH DE number 1735871
• scientific article; zbMATH DE number 7104937
• Fixed Point Logics
• scientific article; zbMATH DE number 218496
• Some correspondences of principles in interpretability logic
• scientific article; zbMATH DE number 218514
• Interpretability logics and generalised Veltman semantics
• AI 2005: Advances in Artificial Intelligence
• Intuitionistic fixed point logic
• scientific article; zbMATH DE number 1215477

Cites work

• scientific article; zbMATH DE number 3765778 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 218496 (Why is no real title available?)
• Modal analysis of generalized rosser sentences

Cited in

(10)

• Franco Montagna's work on provability logic and many-valued logic
• The Henkin sentence
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Countably many sublogics of the interpretability logicILhaving fixed point properties
• The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}
• The persistence principle over weak interpretability logic
• Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
• Notes on my scientific life
• Lewisian fixed points. I: Two incomparable constructions
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics

This page was built for publication: Explicit fixed points in interpretability logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1176094)