Lógicas Modais: Fundamentos e Aplicações

Este trabalho apresenta os fundamentos e algumas aplicações de lógica modal, especialmente na formalização de raciocínio sobre conhecimento e de sistemas concorrentes. É apresentada uma visão geral de lógica, incluindo a lógica clássica proposicional e a de primeira ordem, com destaque para suas propriedades formais. Sobre as lógicas modais proposicionais, são apresentados seus fundamentos, com destaque para o aspecto semântico, e seus sistemas de prova tais como dedução natural, tableau e resolução. É também apresentada brevemente uma visão geral sobre aplicações de lógica modal a algumas das diversas áreas da Ciência da Computação.