On the definability of simulation and bisimulation in epistemic logic.

Hans van Ditmarsch David Fernández-Duque Wiebe van der Hoek

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

Keyphrases

epistemic logic
modal logic
multi agent systems
model checking
inference rules
logical framework
dynamic epistemic logic
knowledge representation
mathematical theory