Text this: Natural Deduction, Hybrid Systems and Modal Logics