Relevant Epistemic Logic with Public Announcements and Common Knowledge.

Vít Puncochár Igor Sedlár

Published in: CLAR (2021)

Keyphrases

epistemic logic
dynamic epistemic logic
knowledge base
knowledge representation
knowledge based systems
model checking
representing knowledge
artificial intelligence
knowledge acquisition
expert systems
modal logic
machine learning
web services
multi agent systems
logical framework