Algebraic relativization and arrow logic / Maarten Johannes MarxTaming arrow logic / Maarten Marx, Szabolcs Mikulás, István NémetiMulti-dimensional modal logic / by Maarten Marx and Yde VenemaComplexity of modal logics of relations / Maarten MarxTwo-dimensional labelled deduction / M. Marx, S. Schlobach, S. MikulásUndecidability of compass logic / M. Marx, M. ReynoldsRelation algebras can tile / Maarten MarxRelativized relation algebras / Maarten MarxFailure of interpolation in combined modal logics / Maarten Marx, Carlos ArecesAmalgamation in finite dimensional cylindric algebras / Maarten MarxLabelled deduction for the guarded fragment / Maarten Marx, Stefan Schlobach, Szabolcs MikulásThe mosaic method for temporal logics / M. Marx, S. Mikulás, M. ReynoldsTolerance logic / M. MarxLocal variations on a loose theme: modal logic and decidability / Maarten Marx, Yde VenemaProducts, or How to create modal logics of high complexity / Maarten Marx, Szabolcs MikulásAll proper normal extensions of S5-square have the polynomial size model property / Maarten Marx, Nick BezhanishviliComplexity of intuitionistic predicate logic with one variable / Maarten MarxRelation algebra with binders / Maarten MarxAn elementary construction for a non-elementary procedure / Maarten Marx, Szabolcs MikulasRegular equivalence and dynamic logic / Maarten Marx, Michael Masuch
author
A modal logic of relations / Yde Venema, Maarten MarxArrow logic and multi-modal logic / ed. by Maarten Marx, László Pólos, and Michael MasuchHybrid logics : characterization, interpolation and complexity / C. Areces, P. Blackburn, M. MarxHybrid logics : characterization, interpolation and complexity / Carlos Areces, Patrick Blackburn, Maarten MarxBeth Definability for the guarded fragment / Eva Hoogland, Maarten Marx, Martin OttoComplexity results for hybrid temporal logics / C. Areces, P. Blackburn, M. MarxThe computational complexity of hybrid temporal logics / Carlos Areces, Patrick Blackburn, Maarten MarxInterpolation in guarded fragments / Eva Hoogland, Maarten MarxWords with attitude / J. Kamps, M. MarxSituation calculus as hybrid logic: first steps / P. Blackburn, J. Kamps, M. MarxRepairing the interpolation theorem in quantified modal logic / C. Areces, P. Blackburn, M. MarxConstructive interpolation in hybrid logic / Patrick Blackburn, Maarten MarxTableaux for quantified hybrid logic / Patrick Blackburn, Maarten Marx