Failure of interpolation in combined modal logics’, Notre Dame (1998)

by C Areces, M Marx
Venue:Journal of Formal Logic