Together We Know How to Achieve: An Epistemic Logic of Know-How.

Pavel Naumov Jia Tao

Published in: CoRR (2017)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
dynamic epistemic logic
formal semantics
domain independent
logical framework