Complexity results for logics of local reasoning and inconsistent belief.

Martin Allen

Browse the full TARK paper archive.