Arrow Logic And Multi-Modal Logic by M. Marx