Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes.

Hans van Ditmarsch

Published in: WoLLIC (2021)

Keyphrases

epistemic logic
model checking
modal logic
multi agent systems
dynamic epistemic logic
inference rules
multi faceted
formal semantics
mathematical theory
logical framework
computation tree logic
temporal logic
bayesian networks
formal verification