A Tableau Method for Inconsistency-Adaptive Logics.

Diderik Batens, Joke Meheus

Browse the full TABLEAUX paper archive.