000 a
020 _a9780444500557
100 _aM. Kracht
245 _aTools and Techniques in Modal Logic
260 _bElsevier Science
_c1999
999 _c32667
_d32667