Wanted Dead or Alive : Epistemic logic for impure simplicial complexes.

Hans van Ditmarsch

Published in: CoRR (2021)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
inference rules
logical framework
multi faceted
dynamic epistemic logic
computation tree logic
formal semantics
mathematical theory
reinforcement learning
cooperative
web services
experimental data