Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS

(C1) Closure
(C2) Success
(C3) Inclusion
(C4) Vacuity
(C5) Recovery
(C6) Congruence
(C7) Conjunction 1
(C8) Conjunction 2
29
Postulados de AGM para contrações
K − A = Cn(K − A) (F echamento)
A /∈ K − A, se ⊢ A
K − A ⊆ K
Se A /∈ K, então K − A = K
K ⊆ (K − A) + A (resgate)
Se A ≡ B, então K − A = K − B
Suplementários
K − A ∩ K − B ⊆ K − (A ∧ B)
Se A /∈ K − (A ∧ B), então K − (A ∧ B) ⊆ K − A
AGM: Postulados e construções