Reasoning with maximal consistent signatures

Matthias Thimm, Jandson Santos Ribeiro Santos

We analyse a specific instance of the general approach of reasoning based on forgetting by Lang and Marquis. More precisely, we discuss an approach for reasoning with inconsistent…