Common Knowledge in Epistemic Logic With Hypotheses.

Levan Uridia Dirk Walther

Published in: GCAI (2019)

Keyphrases

epistemic logic
dynamic epistemic logic
representing knowledge
knowledge base
model checking
inference rules
knowledge representation
knowledge acquisition
knowledge based systems
modal logic
expert systems
fuzzy sets
formal semantics