Uma formalização da lógica modal usando o assistente de provas Coq.
Programa de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto.
| Autor: | |
|---|---|
| Formato: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2023 |
| País: | Brasil |
| Recursos: | Universidade Federal de Ouro Preto (UFOP) |
| Repositorio: | Repositório Institucional da UFOP |
| Idioma: | portugués |
| OAI Identifier: | oai:repositorio.ufop.br:123456789/17720 |
| Acesso em linha: | http://www.repositorio.ufop.br/jspui/handle/123456789/17720 |
| Access Level: | acceso abierto |
| Palavra-chave: | Lógica modal Correção Completude Assistente de provas |
| Resumo: | Programa de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto. |
|---|