Login / Signup

Common Knowledge in an Epistemic Logic with Hypotheses.

Levan UridiaDirk Walther
Published in: GCAI (2020)
Keyphrases
  • epistemic logic
  • dynamic epistemic logic
  • representing knowledge
  • knowledge acquisition
  • knowledge base
  • model checking
  • knowledge representation