Base-based Model Checking for Multi-Agent Only Believing (long version)

Tiago de Lima, Emiliano Lorini, François Schwarzentruber

We present a novel semantics for the language of multi-agent only believing exploiting belief bases, and show how to use it for automatically checking formulas of this language and…