Logics of belief and knowledge are typically formulated in terms of modal languages. A possible world semantics is traditionally used for such languages but when a formula A is read as "The agent believes that A", the ...