AP26 Decidibilidade do Problema da Satisfação Contextual da Lógica Modal K
12 dezembro 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Fragmento FO^2 da lógica de primeira ordem para a qual o problema da satisfação contextual é decidível.
Proposta de aplicação de redução entre o problema da satisfação contextual da lógica modal K para o problema da satisfação contextual de FO^2.
Definição da aplicação que para cada estrutura de Kripke pontual devolve uma estrutura de interpretação pontual de FO^2..