Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.

AGM-axioms of Belief Revision
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
(*1) T ∗ ϕ is a theory;
(*2) ϕ ∈ T ∗ ϕ;
(*3-4) if \(\vdash\) ϕ then T ∗ ϕ = T ;
(*5) T ∗ ϕ = ⊥ iff \(\vdash\) ¬ϕ ;
(*6) if \(\vdash\) ϕ ↔ ψ then T ∗ ϕ = T ∗ ψ;
(*7-8) if ¬ψ \(\notin\) T ∗ ϕ then T ∗ (ϕ ∧ ψ) = (T ∗ ϕ) + ψ
If you want to change selection, open document below and click on "Move attachment"


owner: rappatoni - (no access) - Baltag and Smets - conditional doxastic models a qualiltative approach to odynamic belief revision.pdf, p5


statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on



Do you want to join discussion? Click here to log in or create user.