1. Logic programming with focusing proofs in linear logic;Andreoli;Journal of Logic and Computation,1992
2. Hybrid logics: Characterization, interpolation and complexity;Areces;Journal of Symbolic Logic,2001
3. Awodey, S. and A. Bauer, Propositions as [Types], Technical report, Institut Mittag-Leffler (2001)
4. Representation, reasoning, and relational structures: a hybrid logic manifesto;Blackburn;Logic Journal of IGPL,2000
5. Braüner, T. and V. de Paiva, Towards constructive hybrid logic, Elec. Proc. of Methods for Modalities 3 (2003)