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.
Axiomas<br />
A extensão mínima da Lógica Proposicional (clássica) t.q.<br />
( ✷ ∈ {B, K, {[∗A] : A ∈ FKT}}, 〈∗A〉 := ¬[∗A]¬ )<br />
Ferner:<br />
Closure<br />
Success (r2)<br />
Inclusion (r3)<br />
Preservation (r4)<br />
Consistency (r5)<br />
Congruence (r6)<br />
Supp.1 (r7)<br />
Supp.2 (r8)<br />
63<br />
✷(A ∧ B) ↔ (✷A ∧ ✷B)<br />
✷⊤<br />
A ↔ B<br />
✷A ↔ ✷B<br />
K(A → B) → ([∗C]BA → [∗C]BB) (redundante)<br />
[∗A]BA<br />
[∗⊤]BA → BA<br />
¬B⊥ → (BA → [∗⊤]BA<br />
[∗A]B⊥ → K¬A<br />
K[A ↔ B] → [∗A]BC ↔ [∗B]BC<br />
[∗(A ∧ B)]BC → [∗A]B(B → C)<br />
¬[∗A]B¬B → ([∗A]B(B → C) → [∗(A ∧ B)BC])<br />
Lógica <strong>Dinâmica</strong> <strong>Doxástica</strong> (DDL)