1
2
Assuntos:
“...Lógica modal...”
Sobre uma arquitetura da informação multimodal : reflexões sobre uma proposta epistemológica
Dissertação
3
4
Assuntos:
“...Lógica modal...”
Ciborgues, memória e a mente estendida : uma abordagem lógica
Dissertação
5
6
Assuntos:
“...Lógica modal...”
Análise didaticamente estruturada das correspondências entre lógicas de descrições e lógicas modais
Dissertação
7
Assuntos:
“...Lógica modal...”
Uma formalização da lógica modal usando o assistente de provas Coq.
Dissertação
8
Assuntos:
“...Lógica modal - Hegel...”
História e desenvolvimento da liberdade objetiva em Hegel
Dissertação
9
Assuntos:
“...Lógica modal...”
Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
Dissertação
10
11
Assuntos:
“...Lógica modal...”
Ajuste de modelos de elementos finitos utilizando técnicas de otimização.
Dissertação
12
Assuntos:
“...Lógica modal...”
ProS4 - provador automático de teoremas para a lógica modal S4
Dissertação
13
14
Assuntos:
“...Lógica modal...”
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Dissertação
15
Assuntos:
“...Lógica modal...”
Será S5 o sistema de lógica modal correto para a modalidade metafísica?
Dissertação
16
Assuntos:
“...Lógica modal...”
Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas
Dissertação
17
Assuntos:
“...Lógica modal...”
Um modelo neural de aprimoramento progressivo para redução de dimensionalidade
Tese
18
Assuntos:
“...Lógica modal...”
MNLAC: uma proposta de modelagem de fluxo de navegação baseada em lógica modal
Dissertação