This lively and accessible textbook provides a comprehensive and unified introduction to classical and modal logics treating them with the same level of rigour and detail and showing how they fit together. A fully self-contained learning resource it will be ideal for upper-level university courses.