A Tableau Method for Inconsistency-Adaptive Logics

@inproceedings{Batens2000ATM,
  title={A Tableau Method for Inconsistency-Adaptive Logics},
  author={Diderik Batens and Joke Meheus},
  booktitle={TABLEAUX},
  year={2000}
}