Defesa de Dissertação de Mestrado de Matheus Guimarães Robaina, em 28/06/2024, às 15:00 horas, na sala 310 do Instituto de Computação
A Tableaux Method For Memory Propositional Dynamic Logic With Iteration
Resumo:
A Lógica Dinâmica Proposicional de Memória com Iteração visa ampliar o poder de adaptação da Lógica Dinâmica Proposicional para uma maior gama de situações com a adição de uma memória para cada estado do modelo trabalhado. Com o objetivo de aumentar a adaptabilidade dessa lógica para o âmbito computacional, esse trabalho visa desenvolver um método Tableaux para ela. Foi provado a Corretude, Terminação e Completude para esse método, por último há alguns exemplos de utilização do Tableaux para essa lógica.
Abstract:
Memory Propositional Dynamic Logic with Iteration aims to expand the adaptive power of Propositional Dynamic Logic to a wider range of situations with the addition of a memory for each state of the worked model. With the aim of increasing the adaptability of this logic to the computational scope, this work aims to develop a Tableaux method for it. The Soundness, Termination and Completeness of this method was proven. Finally, there are some examples of using Tableaux for this logic.
Banca examinadora:
Prof. Bruno Lopes Vieira, UFF – Presidente
Prof. Mario Roberto Folhadela Benevides, UFF
Profa. Aline Marins Paes Carvalho, UFF
Prof. Edward Hermann Haeusler, PUC-Rio