Model theory for extended modal languages door B.D. ten Cate