Login / Signup

Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract).

Pavel NaumovJia Tao
Published in: TARK (2017)
Keyphrases
  • extended abstract
  • epistemic logic
  • model checking
  • modal logic
  • logical framework
  • dynamic epistemic logic
  • computation tree logic
  • inference rules
  • orders of magnitude
  • object oriented
  • multi faceted