Login / Signup
Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract).
Pavel Naumov
Jia 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