Concurrent dynamic epistemic logic for MAS.

Hans P. van Ditmarsch Wiebe van der Hoek Barteld P. Kooi

Published in: AAMAS (2003)

Keyphrases

dynamic epistemic logic
multi agent systems
epistemic logic
multiagent systems
cooperative
complex systems
model checking
autonomous agents
multi agent
expert systems
orders of magnitude
mathematical model
modal logic
mathematical theory