We consider several monotonic logics and show how our framework is well-suited to handle inconsistency in them. It is particularly important to note that reasoning about inconsistency in many of these logics has not been studied before. As a consequence, our general framework for reasoning about inconsistency is not only novel, but it also yields new algorithms and new results for such reasoning in existing logics.
|Original language||English (US)|
|Title of host publication||SpringerBriefs in Computer Science|
|Number of pages||13|
|State||Published - 2013|
|Name||SpringerBriefs in Computer Science|
ASJC Scopus subject areas
- Computer Science(all)