4 works on record
Multi-dimensional modal logic
1997
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Finite Model Theory and Its Applications
Arrow logic and multi-modal logic