Items where Author is "Marx, Maarten"

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-2002-02: Marx, Maarten and Masuch, Michael (2002) Regular Equivalence and Dynamic Logic. [Report]

PP-2001-01: Marx, Maarten (2001) Complexity of Intuitionistic Predicate Logic with One Variable. [Report]

PP-2001-10: Marx, Maarten and Mikulas, Szabolcs (2001) An Elementary Construction for a Non-elementary Procedure. [Report]

PP-2001-04: Marx, Maarten (2001) Relation Algebra with Binders. [Report]

PP-2000-14: Marx, Maarten and Bezhanishvili, Nick (2000) All proper normal extensions of S5--square have the polynomial size model property. [Report]

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

PP-2000-11: Hoogland, Eva and Marx, Maarten (2000) Interpolation in Guarded Fragments. [Report]

PP-2000-09: Marx, Maarten and Venema, Yde (2000) Local Variations on a Loose Theme: Modal Logic and Decidability. [Report]

PP-2000-13: Marx, Maarten and Mikulás, Szabolcs (2000) Products, or How to Create Modal Logics of High Complexity. [Report]

PP-1999-06: Marx, Maarten (1999) Amalgamation in Finite Dimensional Cylindric Algebras. [Report]

PP-1999-20: Hoogland, Eva and Marx, Maarten and Otto, Martin (1999) Beth Definability for the Guarded Fragment. [Report]

PP-1999-03: Marx, Maarten and Areces, Carlos (1999) Failure of Interpolation in Combined Modal Logics. [Report]

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

PP-1999-15: Marx, Maarten and Schlobach, Stefan and Mikulás, Szabolcs (1999) Labelled Deduction for the Guarded Fragment. [Report]

PP-1999-01: Marx, Maarten (1999) Relation Algebras Can Tile. [Report]

PP-1999-02: Marx, Maarten (1999) Relativized Relation Algebras. [Report]

ML-1997-02: Marx, Maarten (1997) Complexity of Modal Logics of Relations. [Report]

LP-1994-22: Marx, Maarten and Mikulás, Szabolcs and Németi, István (1994) Taming Arrow Logic. [Report]

Thesis

DS-1995-03: Marx, Maarten (1995) Algebraic Relativization and Arrow Logic. Doctoral thesis, University of Amsterdam.