Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS
Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS
Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Cuidado:<br />
• Como o teste do Ramsey<br />
trivializa a teoria <strong>de</strong> AGM<br />
• nenhum esquema da forma<br />
61<br />
A > B ∈ K ⇔ B ∈ K ∗ A<br />
BC(A, B) ↔ [∗A]BB<br />
Lógica <strong>Dinâmica</strong> <strong>Doxástica</strong> (DDL)<br />
(para qq A e B) <strong>de</strong>ve sair como teorema <strong>de</strong> DDL — presupondo que queremos<br />
translaçoes <strong>de</strong> Preservation e Consistency em DDL. (C(A, B): uma fórmula C com<br />
subfórmulas A e B.)