1
3
4
5
7
Assuntos:
“...Tableaux analíticos...”
A lógica da verdade pragmática em um sistema de tableaux
Dissertação
8
11
Assuntos:
“...Método dos tableaux...”
Um método dos tablôs por prova direta para a lógica clássica
Dissertação
12
Assuntos:
“...Tableaux...”
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Dissertação
13
“.... We prove the soundness and completeness of our system, also demonstrating its use. Then, a tableaux method...”
A tableaux method for dolev-yao multi-agent epistemic logic
Dissertação
14
15
16
Assuntos:
“...Positive tableaux...”
Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
Dissertação