Arrow Logic And Multi-Modal Logic door M. Marx