A System of Modal Logic