C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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