@incollection {DJ:tabl1,
	title = {A Tableau Method for Inconsistency-Adaptive Logics},
	booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods},
	series = {Lecture Notes in Artificial Intelligence},
	volume = {1847},
	year = {2000},
	pages = {127{\textendash}142},
	publisher = {Springer},
	abstract = {<p>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.</p>},
	author = {Batens, Diderik and Meheus, Joke},
	editor = {Dyckhoff, Roy}
}
