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

A familia K ⊥ A de candidatos
X ∈ K ⊥ A sse
1. X ⊆ K,
2. X ⊢ A, e
3. ∀Y : se X ⊂ Y ⊆ K, então Y ⊢ A.
K ⊥ A: família de conjuntos de “sobreviventes” (remainder set).
Para cada teoria K uma função de seleção
tal que:
sK : ℘(℘(K)) −→ ℘(℘(K)),
1. sK(X) ⊆ X, = ∅ caso X = ∅
[para maxichoice: sK(X) escolha um conjunto só de X];
2. sK(X) = {K} caso contrário.
AGM: Postulados e construções
(Não ecreveremos mais o subscripto K se a tal dependência está aparente pelo contexto.)
37