A New Introduction to Modal Logic (Roman)