TY - Generic T1 - A Tableau Method for Inconsistency-Adaptive Logics Y1 - 2000 A1 - Batens, Diderik A1 - Meheus, Joke ED - Dyckhoff, Roy AB -

We present a tableau method for inconsistency-adaptive logics and illustrate it in terms of the two best studied systems. The method is new in that adaptive logics require a more complex structure of the tableaus and of some rules and conditions. As there is no positive test for derivability in inconsistency-adaptive logics, the tableau method is important for providing criteria for derivability.

JA - Automated Reasoning with Analytic Tableaux and Related Methods T3 - Lecture Notes in Artificial Intelligence PB - Springer VL - 1847 SP - 127–142 ER -