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

provability logicinterpretability logicexplicit definability of fixed points

Mathematics Subject Classification ID

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

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

(9)

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

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)