Logica modal

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO

LÓGICAS MODAIS: FUNDAMENTOS E APLICAÇÕES

Projeto de Diplomação

2

Sumário
Lista de Figuras ................................................................................................................ 3 Resumo............................................................................................................................. 4 Abstract............................................................................................................................. 5 1 Introdução ................................................................................................................. 6 1.1 Motivação.......................................................................................................... 6 1.2 Objetivos ........................................................................................................... 6 1.3 Metodologia ...................................................................................................... 7 1.4 Organização do texto........................................................................................ 7 2 Visão Geral de Lógica .............................................................................................. 8 2.1 Introdução ......................................................................................................... 8
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 Satisfação ........................................................................................................8 Sistemas de Avaliação......................................................................................9 Teoria da Prova................................................................................................9 Relações de Conseqüência............................................................................. 10 Relações de Acarretamento (entailment relations)