Group by: Item Type | No Grouping

Number of items: **21**.

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]

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

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