Tags
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Question
What is the KB-Logic revision for the success postulate of AGM-theory T∗ϕ=⊥ iff \(\vdash\)\(\neg\)ϕ
Answer
(*5e) T ∗ ϕ = ⊥ iff T \(\vdash\) K¬ϕ (i.e. iff (K¬ϕ) ∈ T )
Tags
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Question
What is the KB-Logic revision for the success postulate of AGM-theory T∗ϕ=⊥ iff \(\vdash\)\(\neg\)ϕ
Tags
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Question
What is the KB-Logic revision for the success postulate of AGM-theory T∗ϕ=⊥ iff \(\vdash\)\(\neg\)ϕ
Answer
(*5e) T ∗ ϕ = ⊥ iff T \(\vdash\) K¬ϕ (i.e. iff (K¬ϕ) ∈ T )
If you want to change selection, open original toplevel document below and click on "Move attachment"
Parent (intermediate) annotation
Open it(*5e) T ∗ ϕ = ⊥ iff T \(\vdash\) K¬ϕ (i.e. iff (K¬ϕ) ∈ T )Original toplevel document (pdf)
owner:
rappatoni - (no access) - Baltag and Smets - conditional doxastic models a qualiltative approach to odynamic belief revision.pdf, p5
Summary
| status | not learned | | measured difficulty | 37% [default] | | last interval [days] | |
|---|
| repetition number in this series | 0 | | memorised on | | | scheduled repetition | |
|---|
| scheduled repetition interval | | | last repetition or drill | | | | |
|---|
Details
No repetitions