%0 Journal Article %J Studia Logica %D 2001 %T Shortcuts and Dynamic Marking in the Tableau Method for Adaptive logics %A Batens, Diderik %A Meheus, Joke %X

Adaptive logics typically pertain to reasoning procedures for which there is no positive test. In \cite{DJ:tabl1}, we presented a tableau method for two inconsistency-adaptive logics. In the present paper, we first describe these methods (without repeating the meta-theoretic proofs). Next, we present several ways to increase the efficiency of the methods. This culminates in a dynamic marking procedure that indicates which branches have to be extended first, and thus guides one towards a decision–-the conclusion follows or does not follow–-in a very economical way.

%B Studia Logica %V 69 %P 221–248 %G eng