Login / Signup

An Epistemic Strategy Logic.

Xiaowei HuangRon van der Meyden
Published in: ACM Trans. Comput. Log. (2018)
Keyphrases
  • epistemic logic
  • dynamic epistemic logic
  • modal logic
  • predicate logic
  • multi agent systems
  • search strategy
  • propositional logic
  • classical logic
  • set theory