#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
In AGM-theory of belief revision, the expansion T + ϕ of a theory T with a sentence ϕ is defined as T + ϕ := {ψ : T ∪ {ϕ} \(\vdash\) ψ}.