Combining Dynamic Logic with Doxastic Modal Logics
Renate A. Schmidt, Dmitry Tishkovsky · 2003
this paper we also allow the interaction of modalities via the Church-Rosser axiom [a]p ! [a]p: The axiom says that if an agent has a possibility to perform an action a in such way that she will believe p, then in the current state she believes that it is possible to obtain the result p by doing a