@PROCEEDINGS{SchmidtPrattHartmannReynoldsWansing05,
EDITOR = {Schmidt, R. A. and Pratt-Hartmann, I. and Reynolds, M. and Wansing, H.},
YEAR = {2005},
TITLE = {Advances in Modal Logic, Volume 5},
PUBLISHER = {King's College Publications},
ADDRESS = {London},
URL = {http://www.aiml.net/volumes/volume5/},
}