Interpolation, Definability and Fixed Points in Interpretability Logics.

Carlos Areces, Eva Hoogland, Dick de Jongh

Browse the full AiML paper archive.