'A wonderful introduction both to basic propositional and first-order logic, and to modal logic. It goes all the way from the basic definitions to soundness and completeness results for all the logics considered. At the end, there is also a brief introduction to topological semantics for modal logic. The many exercises, most of which have solutions provided, enable the reader to grapple with the complexities of the material. I strongly recommend the book, both to those teaching introductory courses in logic and modal logic, and to students who are willing to try to learn the material on their own.' Joe Halpern, Cornell University

'Bjorndahl has produced a fantastic text that artfully tows the challenging line between covering core material from the canons of formal logic – soundness and completeness, expressivity, etc. – and inviting the reader to explore the most recent trends and advances in the subject's applications to epistemology and the analysis of knowledge. Especially innovative are the helpful side comments throughout the text: additional points and reminders one is often looking for when learning new material. Also distinctive is the gentle introduction to topology at the end, elegantly and easily following the author's presentation of logic. I would recommend this text to any beginner wanting to accelerate from the basics to key elements of the cutting edge.' Thomas Icard, Professor of Philosophy, Stanford University