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