A lógica é uma disciplina introdutória a muitos campos do saber, incluindo a Filosofia e a Matemática, entre outras ciências que se utilizam desses saberes. Trata-se de um instrumento fundamental para a orientação adequada do raciocínio e do pensamento e, portanto, é elemento indispensável para a compreensão do método científico em todos os ramos da ciência. Embora a grande maioria dos estudiosos tenha alguma noção da lógica formal, a lógica modal é pouco conhecida. Contudo, ela é um complemento importante para a formação intelectual nas mais diferentes áreas, permitindo ampliar a compreensão dos recursos lógicos para a orientação do pensamento e da produção filosófico-científica. A lógica modal refere-se a sistemas lógicos que procuram oferecer condições para se lidar com modalidades, isto é, com situações em que ocorrem as noções de possibilidade, necessidade, probabilidade, etc. Trata-se de uma ampliação teórico-conceitual que os estudos de lógica foram obtendo, desde os antigos gregos, sobretudo Aristóteles, até os contemporâneos pesquisadores da lógica, como Rudolf Carnap e Kurt Gödel. Este livro apresenta os principais elementos históricos para a compreensão do desenvolvimento da lógica modal, de modo a oferecer ao leitor uma visão ao mesmo tempo introdutória e de amplo alcance.