Sciweavers

AIML
1998

Interpolation, Definability and Fixed Points in Interpretability Logics

13 years 4 months ago
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
Carlos Areces, Eva Hoogland, Dick de Jongh
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1998
Where AIML
Authors Carlos Areces, Eva Hoogland, Dick de Jongh
Comments (0)