Your search returned the following 6 documents:

6. Inference and Computational Semantics
   Hans de Nivelle, Patrick Blackburn, Johan Bos, and Michael Kohlhase
   Studies in Linguistics and Philosophy, Computing Meaning 77 (2): 11-28, 2001
   
5. Hybrid Languages and Temporal Logic
   Patrick Blackburn and Miroslava Tzakova
   Logic Journal of the IGPL 7 (1): 27-54, 1999. Note: Revised Version of MPI-I-98-2-006.
   
4. A Hybrid Concept Language
   Patrick Blackburn and Miroslava Tzakova
   In: Proceedings of the 5th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, January 4-6, 1998, 1998
   
3. Hybrid Completeness
   Patrick Blackburn and Miroslava Tzakova
   Logic Journal of the IGPL 6 (4): 625-650, 1998. Note: Revised Version of MPI-I-97-2-007
   
2. Hybrid Languages and Temporal Logic (Full Version)
   Patrick Blackburn and Miroslava Tzakova
   Computational Lingustics, Universität des Saarlandes, Saarbrücken, CLAUS 96, Research Report
   
1. Hybridizing Concept Languages
   Patrick Blackburn and Miroslava Tzakova
   Annals of Mathematics and Artificial Intelligence 24 (1/4): 23-49, 1998