View Labels for A study of pre-modern logics using modern formal tools