Intuitionistic Epistemic Logic with Distributed Knowledge.

Ryo Murai Katsuhiko Sano

Published in: Computación y Sistemas (2022)

Keyphrases

epistemic logic
dynamic epistemic logic
representing knowledge
knowledge base
logical framework
distributed systems
cooperative
multi agent systems
knowledge acquisition
model checking
knowledge representation