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
Assuntos:
“...[pt] LOGICA MODAL DE PRIMEIRA-ORDEM...”
[en] FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES
Tese
6
7
Assuntos:
“...Lógica modal...”
Ciborgues, memória e a mente estendida : uma abordagem lógica
Dissertação
8
9
Assuntos:
“...Lógica modal...”
Análise didaticamente estruturada das correspondências entre lógicas de descrições e lógicas modais
Dissertação
10
Assuntos:
“...Lógica modal...”
Uma formalização da lógica modal usando o assistente de provas Coq.
Dissertação
11
Assuntos:
“...Lógica modal - Hegel...”
História e desenvolvimento da liberdade objetiva em Hegel
Dissertação
12
Assuntos:
“...Lógica modal...”
Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
Dissertação
13
14
Assuntos:
“...Lógica modal...”
Ajuste de modelos de elementos finitos utilizando técnicas de otimização.
Dissertação
15
Assuntos:
“...Lógica modal...”
ProS4 - provador automático de teoremas para a lógica modal S4
Dissertação
16
17
Assuntos:
“...Lógica modal...”
Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica
Tese
18
Assuntos:
“...Lógica modal...”
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Dissertação
19
Assuntos:
“...Lógica modal...”
Será S5 o sistema de lógica modal correto para a modalidade metafísica?
Dissertação
20
Assuntos:
“...Lógica modal...”
Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas
Dissertação