Here is a great resource from one of the most influential logicians alive.
Johan van Benthem’s book, Modal Logic for Open Minds, is a wonderfully clear introduction to the new synthesis, bringing ideas from logic, philosophy, computer science, and linguistics.