TY - CHAP AU - Shehtman, Valentin ED - Kracht, Marcus ED - de Rijke, Maarten ED - Wansing, Heinrich ED - Zakharyaschev, Michael PB - CSLI Publications PY - 1998 T2 - Advances in Modal Logic TI - Completeness and incompleteness in first-order modal logic: an overview ER -