We investigate and classify the notion of final derivability of two basic inconsistency-adaptive logics. Specifically, the maximal complexity of the set of final consequences of decidable sets of ...

This is a preview. Log in through your library . Abstract In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method ...