This book explores the birth of modern modal logic, which offers a precise formalism for encoding...