TY - BOOK AU - Zakharyaschev Michael ed. ED - AIML Conference (Oct 1996 : Berlin,Germany) ED - AIML conference TI - Advances in modal logic: selection of papers SN - 1-57586-272-7 U1 - 160 PY - 2001/// CY - California PB - CSLI KW - Modality(Logic) ER -