Natural Deduction in Normal Modal Logic

A natural deduction system for a wide range of normal modal logics is presented, which is based on Segerberg's idea that classical validity should be preserved «in any modal context». The resulting system has greater flexibility than the common Fitch-style systems