variety of Natural Deduction systems in Classical and Modal Logics. The second aim is to