PP-1999-07: Carlos Areces, Patrick Blackburn, Maarten Marx Hybrid Logics. Characterization, Interpolation and Complexity 1.Full Text, 2.Abstract. < Back
