The class of defeasible logics is only vaguely defined -- it is defined by a few exemplars and the general idea of efficient reasoning with defeasible rules. The recent definition of the defeasible logic DL(∂∣∣) introduced new features to such logics, which have repercussions that we explore. In particular, we define a class of logics that accommodates the new logic while retaining the traditional properties of defeasible logics.
@article{arxiv.2405.19157,
title = {Which are the True Defeasible Logics?},
author = {Michael J. Maher},
journal= {arXiv preprint arXiv:2405.19157},
year = {2024}
}