Dissertação

Modal Logic: A Survey EVALUATED

A lógica modal tem sido uma área de diversos estudos e progressos ao longo dos anos. Depois do trabalho de Saul Kripke em 1963 pode-se verificar uma grande expansão da área. Nesta tese focamo-nos na apresentação da lógica modal, usando estruturas de Kripke, modelos e enquadramentos. Também analisamos os dois principais problemas computacionais associados a lógica modal, satisfazibilidade e validade, e a complexidade associada a cada um deles. Existe tambem a tentativa de relacionar a lógica modal com outras lógicas muito famosas e muito relevantes nomeadamente lógica proposicional, lógica de primeira ordem e lógica modal de ponto fixo. Com este intuito alguns algoritmos para resolver os ditos problemas sao apresentados, juntamente com a complexidade temporal que ao longo dos anos foram estabelecidas para estes problemas. Ao longo do texto sao também apresentadas algumas traduções e equivalências entre as referidas lógicas
Lógica modal, complexidade, satisfabilidade, validade

Dezembro 22, 2020, 14:0

Documentos da dissertação ainda não disponíveis publicamente

Orientação

ORIENTADOR

Jaime Arsénio de Brito Ramos

Departamento de Matemática (DM)

Professor Auxiliar