@proceedings{DBLP:conf/aiml/2000,
editor = {Frank Wolter and
Heinrich Wansing and
Maarten de Rijke and
Michael Zakharyaschev},
title = {Advances in Modal Logic 3, papers from the third conference
on "Advances in Modal logic," held in Leipzig (Germany)
in October 2000},
booktitle = {Advances in Modal Logic},
publisher = {World Scientific},
year = {2002},
isbn = {981-238-179-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}