Interpolation, Definability and Fixed Points in Interpretability Logics

In this article we study interpolation properties for the minimal system of interpretability logic IL. We prove that arrow interpolation holds for IL and that turnstile interpolation and interpolation for the

• Type: Conference
• Year: 1998
• Where: AIML
• Authors: Carlos Areces, Eva Hoogland, Dick de Jongh
• Keywords: AIML 1998, AIML 2008, Arrow Interpolation, Fixed Point, Interpolation