Evidence elimination in multi-agent justification logic.

Bryan Renne

Browse the full TARK paper archive.