Home › Authors › Maarten Marx 👤 Maarten Marx 3 books Books by Maarten Marx Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) 2007 Multi-dimensional modal logic 1997 Arrow logic and multi-modal logic 1996