The Craig Interpolation Theorem in Multi-Modal Logics (1995)

by J X Madarász
Venue:Bulletin of the Section of Logic