TY - CHAP AU - Suzuki, Tomoyuki ED - Kracht, Marcus ED - de Rijke, Maarten ED - Wansing, Heinrich ED - Zakharyaschev, Michael PB - CSLI Publications PY - 1998 T2 - Advances in Modal Logic TI - Bi-approximation Semantics for Substructural Logic at Work ER -