scientific article; zbMATH DE number 1735871

MaRDI QIDQ4329232zbMATH OpenFDO

Authors Carlos Abreces, Eva Hoogland, Dick H. J. de Jongh

Publication date 11 December 2002

zbMATH Keywords

interpolationfixed pointsprovability logicinterpretability logicBeth definabilityrelative interpretability between arithmetical theories

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• scientific article; zbMATH DE number 1215477
• Hennessy-Milner theorem for interpretability logic
• Interpolation and the interpretability logic of PA
• scientific article; zbMATH DE number 218496
• A new principle in the interpretability logic of all reasonable arithmetical theories

Cited in

(13)

• Interpretability degrees of finitely axiomatized sequential theories
• The persistence principle over weak interpretability logic
• Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
• Interpretability logic IL does not have finite subtree property
• Interpolation and the interpretability logic of PA
• Craig interpolation in the presence of unreliable connectives
• The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}
• scientific article; zbMATH DE number 7104937 (Why is no real title available?)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• Lewisian fixed points. I: Two incomparable constructions
• Explicit fixed points in interpretability logic
• Preservation of Craig interpolation by the product of matrix logics
• Interpolation and implicit definability in extensions of the provability logic

This page was built for publication:

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