A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die.

Éric Goubault Jérémy Ledent Sergio Rajsbaum

Published in: STACS (2022)

Keyphrases

epistemic logic
computational model
multi agent systems
knowledge base
multi agent
modal logic
metamodel
decision theoretic
probability distribution
mathematical model
model checking