Email Record: Natural deduction, hybrid systems and modal logics /