41 search results - page 9 / 9 » Propositional Dynamic Logic for Message-Passing Systems |
105
click to vote
CEEMAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...