A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)

Open in new window