Tags
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Question
For a KB fram (S, a, a) what condition on the knowledge operator does the following correspond to? if s ∼ a t then we have: s → a w iff t → a w, and also s ∼ a w iff t ∼ a w;
Full introspection of knowledge and belief.

Tags
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Question
For a KB fram (S, a, a) what condition on the knowledge operator does the following correspond to? if s ∼ a t then we have: s → a w iff t → a w, and also s ∼ a w iff t ∼ a w;
?

Tags
#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Question
For a KB fram (S, a, a) what condition on the knowledge operator does the following correspond to? if s ∼ a t then we have: s → a w iff t → a w, and also s ∼ a w iff t ∼ a w;
Full introspection of knowledge and belief.
If you want to change selection, open original toplevel document below and click on "Move attachment"

#### Parent (intermediate) annotation

Open it
or 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) <span>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) 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

#### Summary

status measured difficulty not learned 37% [default] 0

No repetitions