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

A knowledge-belief frame (KB-frame for short, see e.g. [17], pg. 89) is a Kripke frame of the form (S, →_{ a} , ∼ _{a} ) a∈A , with a given set of states S and two binary relations for each agent; the first relation ∼ _{a} is meant to capture the knowledge of agent a, while the second → _{a} captures his beliefs. A KB frame is required to satisfy the following natural conditions: (1) each ∼ _{a} is reflexive: s ∼_{ a} s; (2) if s ∼ _{a} t then we have: s → _{a} w iff t → _{a} w, and also s ∼_{ a} w iff t ∼ a w; (3) if s → _{a} t then s ∼ _{a} t ; (4) _{}[...]

Answer

for every s ∈ S there e xists some t ∈ S such that s → _{a} t.

Tags

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

Question

A knowledge-belief frame (KB-frame for short, see e.g. [17], pg. 89) is a Kripke frame of the form (S, →_{ a} , ∼ _{a} ) a∈A , with a given set of states S and two binary relations for each agent; the first relation ∼ _{a} is meant to capture the knowledge of agent a, while the second → _{a} captures his beliefs. A KB frame is required to satisfy the following natural conditions: (1) each ∼ _{a} is reflexive: s ∼_{ a} s; (2) if s ∼ _{a} t then we have: s → _{a} w iff t → _{a} w, and also s ∼_{ a} w iff t ∼ a w; (3) if s → _{a} t then s ∼ _{a} t ; (4) _{}[...]

Answer

?

Tags

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

Question

A knowledge-belief frame (KB-frame for short, see e.g. [17], pg. 89) is a Kripke frame of the form (S, →_{ a} , ∼ _{a} ) a∈A , with a given set of states S and two binary relations for each agent; the first relation ∼ _{a} is meant to capture the knowledge of agent a, while the second → _{a} captures his beliefs. A KB frame is required to satisfy the following natural conditions: (1) each ∼ _{a} is reflexive: s ∼_{ a} s; (2) if s ∼ _{a} t then we have: s → _{a} w iff t → _{a} w, and also s ∼_{ a} w iff t ∼ a w; (3) if s → _{a} t then s ∼ _{a} t ; (4) _{}[...]

Answer

for every s ∈ S there e xists some t ∈ S such that s → _{a} t.

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

#### Parent (intermediate) annotation

**Open it**

beliefs. A KB frame is required to satisfy the following natural conditions: (1) each ∼ a is reflexive: s ∼ a s; (2) if s ∼ a t then we have: s → a w iff t → a w, and also s ∼ a w iff t ∼ a w; (3) if s → a t then s ∼ a t ; (4) <span>for every s ∈ S there e xists some t ∈ S such that s → a t.<span><body><html>

#### Original toplevel document (pdf)

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

beliefs. A KB frame is required to satisfy the following natural conditions: (1) each ∼ a is reflexive: s ∼ a s; (2) if s ∼ a t then we have: s → a w iff t → a w, and also s ∼ a w iff t ∼ a w; (3) if s → a t then s ∼ a t ; (4) <span>for every s ∈ S there e xists some t ∈ S such that s → a t.<span><body><html>

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.