A presentation of advances in the relational model theory and the algorithmic treatment of modal logics. It contains papers from the third conference on "Advances in Modal Logic", and covers dynamic logic, description logics, hybrid logics, epistemic logics, tense logic, action logic, and more.