1. Hybrid logic is the bounded fragment of first order logic;Areces,1999
2. Hybrid logics: characterization, interpolation and complexity;Areces;J. Symbolic Logic,2001
3. Hybrid logics;Areces,2006
4. On propositional quantifiers in provability logic;Artemov;Notre Dame J. Form. Log.,1993
5. Modal Logic and Classical Logic;van Benthem,1985