When Names Are Not Commonly Known: Epistemic Logic with Assignments.

Yanjing Wang Jeremy Seligman

Published in: Advances in Modal Logic (2018)

Keyphrases

epistemic logic
model checking
modal logic
inference rules
multi agent systems
dynamic epistemic logic
logical framework
multi faceted
formal semantics
mathematical theory
temporal logic
model checker
cooperative
computation tree logic
artificial intelligence
automated reasoning