Arrow Logic 101A Learning Lounge course, partly about the Arrow system and partly relating to Monads.
Yde Venema's A Crash Course in Arrow Logic (1997) is by now the only online available paper on arrow logic.
Also refer to the offline book Modal Logic (Venema et al.), a great book on modal logic. Once it was downloadable, but no longer.