Automated Reasoning with Analytic Tableaux and Related Methods
| Title | A Tableau Method for Inconsistency-Adaptive Logics |
| Publication Type | Book Chapter (with title) |
| Authors | Batens, D, Meheus, J |
| Secondary Authors | Dyckhoff, R |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-321514 |
|---|
UGent Biblio Link: