Relevant epistemic logic with public announcements and common knowledge.

Vít Puncochár Igor Sedlár Andrew Tedder

Published in: J. Log. Comput. (2023)

Keyphrases

epistemic logic
dynamic epistemic logic
representing knowledge
knowledge representation
knowledge acquisition
knowledge based systems
modal logic
artificial intelligence
model checking
logical framework
knowledge base
multi agent
cooperative
first order logic
inference rules