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

Seman tic V ersion of Epistemic AGM P ostulates . Giv en a K B -mo del S , an AGM b elief r evision the ory for S is defined by giving, for each agent a , a family of S -theories T a ⊆ P ( S ), called a -the ories over S , and an op eration ∗ a : T a × P ( S ) → T a , such that for all T ∈ T a , P ⊆ S , we hav e:

Answer

(T0) s a ∈ T a , for all s ∈ S; (T1) ∅ ∈ T a ; (T2) if T ∈ T a , then for all s, t ∈ T we have s a = t a and s(a) = t(a). (*1) T ∗ a P ∈ T a ; (*2) T ∗ a P ⊆ P

Tags

#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project

Question

Seman tic V ersion of Epistemic AGM P ostulates . Giv en a K B -mo del S , an AGM b elief r evision the ory for S is defined by giving, for each agent a , a family of S -theories T a ⊆ P ( S ), called a -the ories over S , and an op eration ∗ a : T a × P ( S ) → T a , such that for all T ∈ T a , P ⊆ S , we hav e:

Answer

?

Tags

#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project

Question

Seman tic V ersion of Epistemic AGM P ostulates . Giv en a K B -mo del S , an AGM b elief r evision the ory for S is defined by giving, for each agent a , a family of S -theories T a ⊆ P ( S ), called a -the ories over S , and an op eration ∗ a : T a × P ( S ) → T a , such that for all T ∈ T a , P ⊆ S , we hav e:

Answer

(T0) s a ∈ T a , for all s ∈ S; (T1) ∅ ∈ T a ; (T2) if T ∈ T a , then for all s, t ∈ T we have s a = t a and s(a) = t(a). (*1) T ∗ a P ∈ T a ; (*2) T ∗ a P ⊆ P

If you want to change selection, open document below and click on "Move attachment"

#### pdf

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

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.