71 search results - page 15 / 15 » Well-Structured Model Checking of Multiagent Systems |
136
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...