Reachability Games in Dynamic Epistemic Logic.

Bastien Maubert Sophie Pinchinat François Schwarzentruber

Published in: CoRR (2019)

Keyphrases

dynamic epistemic logic
epistemic logic
game theory
video games
game playing
state space
computer games
orders of magnitude
web services
nash equilibrium
cooperative
knowledge representation
model checking
inference rules
educational games