|
Dynamic Epistemic Logic
more books like this
by
Wiebe Van Der Hoek, Barteld Kooi, Hans Van Ditmarsch
"Dynamic Epistemic Logic" is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles ...
see all copies
from $46.24!
new only
from $46.24!
|
SVS
|