Interpolation, definability and fixed points in interpretability logics (2001)

by C Areces, E Hoogland, D de Jongh
Venue:In Advances in Modal Logic, volume 119 of CSLI Lecture Notes