@doctoralThesis{Kaminski_2012,
title={Incremental decision procedures for modal logics with nominals and eventualities},
author={Kaminski, Mark},
doi={http://dx.doi.org/10.22028/D291-26295},
subtitle={Inkrementelle Entscheidungsverfahren für Modallogiken mit Nominalen und Eventualities},
year={2012}
}