scientific article; zbMATH DE number 1735871

zbMATH Open1001.03054MaRDI QIDQ4329232FDOQ4329232

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

Publication date: 11 December 2002

Title of this publication is not available (Why is that?)

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

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)

Cited In (12)

• The persistence principle over weak interpretability logic
• Interpretability degrees of finitely axiomatized sequential theories
• Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
• 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}
• Title not available (Why is that?)
• 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)