Dynamic epistemic logic describes the possible information-changing actions available to individual agents, and their knowledge preand post conditions. For example, public announcement logic describes actions in the form of public, truthful announcements. However, little research so far has considered describing and analysing rational choice between such actions, i.e., predicting what rational ...

Humanity has received divine guidance through two channels: the word of Allah and the prophets who were chosen by Him to communicate His will to humanity These channels have always functioned together, and if one is ignored or neglected, the will of Allah cannot be known with any degree of accuracy. The Hindus neglected their prophets and focused all of their attention on their books, which pro...

Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, these logics are descriptive – they describe what agents can do. In this paper we discuss what rational agents will or should do. We consider situations where each agent has a goal, a typically epistemic formula he or she ...