Pólos, L., Marx, M., & Masuch, M. (Eds.). (1996). Arrow Logic and Multi-Modal Logic. FoLLI and CSLI Publications, Stanford