Base-Based Model Checking for Multi-agent only Believing.

Tiago de Lima, Emiliano Lorini, Franois Schwarzentruber

Browse the full JELIA paper archive.