Hybrid logics: Characterization, interpolation and complexity (0)

by C Areces, P Blackburn, M Marx
Venue:Journal of Symbolic Logic