Arrow logic and multi-modal logic | lit.salon