AT26 Decidibidade noutras áreas da Matemática

18 Dezembro 2018, 09:30 Maria Cristina De Sales Viana Serôdio Sernadas

Decidibidade do problema da satisfação para a  lógica modal K por redução ao problema da satisfação em lógica de primeira ordem com assinatura
sem símbolos de função, com símbolos de predicado de aridades um e dois e com duas variáveis.