Método de Tableaux Modal para Lógica Modal Epistêmica com Operador de Conhecimento Comum

Informações:

Publicações do PESC

Título
Método de Tableaux Modal para Lógica Modal Epistêmica com Operador de Conhecimento Comum
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
9/12/2005
Resumo
Abstract
Arquivo
Topo