DS-2005-01: ten Cate, Balder David (2005) Model theory for extended modal languages. Doctoral thesis, University of Amsterdam.