Items where Author is "Blackburn, Patrick"

Report

PP-2006-30: van Benthem, Johan and Blackburn, Patrick (2006) Modal Logic: A Semantic Perspective. [Report]

PP-2003-10: Blackburn, Patrick and Marx, Maarten (2003) Tableaux for Quantified Hybrid Logic. [Report]

PP-2002-12: Blackburn, Patrick and Marx, Maarten (2002) Constructive Interpolation in Hybrid Logic. [Report]

PP-2000-07: Areces, Carlos and Blackburn, Patrick and Marx, Maarten (2000) The Computational Complexity of Hybrid Temporal Logics. [Report]

PP-1999-07: Areces, Carlos and Blackburn, Patrick and Marx, Maarten (1999) Hybrid Logics. Characterization, Interpolation and Complexity. [Report]

CL-1993-03: Blackburn, Patrick and Gardent, Claire and Meyer-Viol, Wilfried (1993) Talking about Trees. [Report]

LP-1992-02: Blackburn, Patrick (1992) Modal Logic and Attribute Value Structures. [Report]

LP-1992-06: Blackburn, Patrick and Spaan, Edith (1992) A Modal Perspective on the Computational Complexity of Attribute Value Grammar. [Report]

LP-1990-05: Blackburn, Patrick (1990) Nominal Tense Logic. [Report]