Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications.

Antonis Achilleos

Browse the full EUMAS paper archive.