41 search results - page 9 / 9 » Propositional Dynamic Logic for Message-Passing Systems |
174
click to vote
CEEMAS
2005
Springer
16 years 11 days 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 ...