Modal logic basics and a first characterization