PP-2004-06: Nick Bezhanishvili, Balder ten Cate Transfer results for hybrid logic -- Part I: the case without satisfaction operators 1.Full Text, 2.Abstract. < Back
