| 2006 |
|---|
| 17 | Pure Extensions, Proof Rules, and Hybrid Axiomatics. Patrick Blackburn, Balder ten Cate. Studia Logica (84): 277-322 (2006). Web SearchBibTeXDownload |
| 2005 |
|---|
| 16 | PDL for Ordered Trees. Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke. Journal of Applied Non-Classical Logics (15): 115-135 (2005). Cited by 44Web SearchBibTeX |
| 2003 |
|---|
| 15 | Repairing the interpolation theorem in quantified modal logic. Carlos Areces, Patrick Blackburn, Maarten Marx. Ann. Pure Appl. Logic (124): 287-299 (2003). Cited by 16Web SearchBibTeXDownload |
| 14 | Handling Boolean A Boxes. Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx. Description Logics 2003. Cited by 11Web SearchBibTeXDownload |
| 13 | Constructive interpolation in hybrid logic. Patrick Blackburn, Maarten Marx. J. Symb. Log. (68): 463-480 (2003). Cited by 15Web SearchBibTeX |
| 2002 |
|---|
| 12 | Tableaux for Quantified Hybrid Logic. Patrick Blackburn, Maarten Marx. TABLEAUX 2002, 38-52. Cited by 22Web SearchBibTeXDownload |
| 2001 |
|---|
| 11 | Situation Calculus as Hybrid Logic: First Steps. Patrick Blackburn, Jaap Kamps, Maarten Marx. EPIA 2001, 253-260. Cited by 3Web SearchBibTeXDownload |
| 10 | Hybrid Logics: Characterization, Interpolation and Complexity. Carlos Areces, Patrick Blackburn, Maarten Marx. J. Symb. Log. (66): 977-1010 (2001). Cited by 139Web SearchBibTeXDownload |
| 9 | Third International Workshop on Hybrid Logic (HyLo'01). Patrick Blackburn, Maarten Marx. Logic Journal of the IGPL (9): 735-737 (2001). Web SearchBibTeXDownload |
| 2000 |
|---|
| 8 | The Computational Complexity of Hybrid Temporal Logics. Carlos Areces, Patrick Blackburn, Maarten Marx. Logic Journal of the IGPL (8): 653-679 (2000). Cited by 81Web SearchBibTeXDownload |
| 1999 |
|---|
| 7 | A Road-Map on Complexity for Hybrid Logics. Carlos Areces, Patrick Blackburn, Maarten Marx. CSL 1999, 307-321. Cited by 109Web SearchBibTeXDownload |
| 1997 |
|---|
| 6 | Zooming In, Zooming Out. Patrick Blackburn, Maarten de Rijke. Journal of Logic, Language and Information (6): 5-31 (1997). Web SearchBibTeXDownload |
| 5 | Why Combine Logics?. Patrick Blackburn, Maarten de Rijke. Studia Logica (59): 5-27 (1997). Web SearchBibTeXDownload |
| 1996 |
|---|
| 4 | Special Issue on Combining Logics - Editor's Introduction. Patrick Blackburn, Maarten de Rijke. Notre Dame Journal of Formal Logic (37): 161-166 (1996). Web SearchBibTeXDownload |
| 1995 |
|---|
| 3 | A Proof System for Finite Trees. Patrick Blackburn, Wilfried Meyer-Viol, Maarten de Rijke. CSL 1995, 86-105. Web SearchBibTeXDownload |
| 1994 |
|---|
| 2 | Back and Forth Through Time and Events. Patrick Blackburn, Claire Gardent, Maarten de Rijke. ICTL 1994, 225-237. Web SearchBibTeXDownload |
| 1991 |
|---|
| 1 | A Logical Approach To Arabic Phonology. Steven Bird, Patrick Blackburn. EACL 1991, 89-94. Web SearchBibTeXDownload |
