DS-2005-01: Balder David ten Cate Model theory for extended modal languages 1.Full Text, 2.Abstract. < Back
