@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, 4-7 October 2000},
publisher = {World Scientific},
year = {2002},
isbn = {981-238-179-1},
timestamp = {Tue, 22 May 2018 09:35:27 +0200},
biburl = {https://dblp.org/rec/bib/conf/aiml/2000},
bibsource = {dblp computer science bibliography, https://dblp.org}
}