Connecting dynamic epistemic and temporal epistemic logics.

Hans van Ditmarsch Wiebe van der Hoek Ji Ruan

Published in: Log. J. IGPL (2013)

Keyphrases

epistemic logic
temporal epistemic
modal logic
model checking
inference rules
multi agent systems
formal semantics
mathematical theory
multi faceted
temporal logic
logical framework
propositional dynamic logic
cooperative
expressive power
computation tree logic