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.

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\)ϕ

Answer

?

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

(*5e) T ∗ ϕ = ⊥ iff T \(\vdash\) K¬ϕ (i.e. iff (K¬ϕ) ∈ T )

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 |

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