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