INTRODUÇÃO

Um modal é uma expressão (como 'necessariamente' ou 'possivelmente')
que é usada para qualificar a verdade de um julgamento. Lógica modal é,
estritamente falando, o estudo do comportamento dedutivo das expressões
'é necessário que' e 'é possível que'. Entretando, o termo 'lógica modal' pode
ser usado mais amplamente para uma família de sistemas relacionados.
Estes incluem lógicas para convicção, para tensão e outras expressões
temporais, para as expressões morais (deontic) como 'é obrigatório que' e
'é permitido que' e muitas outras. Uma compreensão da lógica modal é parti-
cularmente valiosa na análise formal de argumento filosófico onde expres-
sões da família modal são comuns e confusas. Lógica modal também tem
aplicações importantes em ciência da computação.
Clique aqui para saber mais