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
Dezembro 22, 2020, 14:0
Documentos da dissertação ainda não disponíveis publicamente