NOC:Basic Concepts of Modal Logic