Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment.

Tristan Charrier, Sophie Pinchinat, Franois Schwarzentruber

Browse the full TABLEAUX paper archive.