Title: Arrow logic and multi-modal logic
Subjects: Modality (Logic), Logic, Modality (logic)