Focuses on the development of modal logic in the 20th century, one of the most important undertakings in logic's long history. This book explores the logics of necessity and possibility, knowledge and belief, obligation and permission, time, tense and change, relevance, and more.