#conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
The maps • a and •(a) are called appearance maps: s a is the doxastic appearance of s to a (or the theory of a about s), and s(a) is the epistemic appearance of s to a (or the knowledge of a about s). The equivalence between the two definitions of knowledge-belief models is easily verified