O presente trabalho tem como objetivo proporcionar aos estudantes que precisem da lógica modal como ferramenta um texto conciso mas suficientemente completo. Embora seja um texto de cunho matemático, procura-se manter o equilíbrio entre os conceitos matemáticos e suas motivações filosóficas, pela crença de que tal equilíbrio é essencial para situar o pensamento em um texto introdutório. O primeiro capítulo começa com um breve histórico filosófico e trabalha os conceitos fundamentais de um ponto de vista sintático. O segundo capítulo retoma os conceitos do primeiro capítulo de um ponto de vista semântico e faz a conexão entre sintaxe e semântica. O terceiro capítulo trabalha o conceito de bissimulação e apresenta ferrametas que abrirão caminho para aplicações.

The goal of this work is to provide the studens who need to deal with modal logic as a tool with a text which might be concise but complete enough at the same time. Although this is a rather mathematical text, an effort is made in order to maintain the equilibrium between mathematical concepts and their philosophical origins for believing this equilibium is of great importance for clarifing the ideas in a work for beginners. The first chapter starts with a brief historical approach of logic and then discusses some fundamental concepts from a syntactical point of view. The second chapter discusses the same concepts from a semantical point of view and links syntact and semantics. The third chapter presents the concept of bisimulation and paves the way for working with applications.