"Notes on Modal Logic": add evaluation of simple modal formulas