Extended Natural Deduction -- Survey of Modal Logics -- Standard Approach to Basic Modal