TY - RPRT TI - A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024) AU - Nico Roos PY - 2024 UR - https://arxiv.org/abs/2411.10197 ID - 2411.10197 ER -