Dynamic epistemic logic in update logic.

Guillaume Aucher

Published in: J. Log. Comput. (2016)

Keyphrases

dynamic epistemic logic
epistemic logic
modal logic
multi agent systems
model checking
inference rules
cooperative
artificial intelligence
logical framework
multi faceted
probabilistic model
programming language
heuristic search