41 search results - page 9 / 9 » Propositional Dynamic Logic for Message-Passing Systems |
173
Voted
CEEMAS
2005
Springer
16 years 10 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 ...