Identifying roles of formulas in inconsistency under Priest's minimally inconsistent logic of paradox.
Kedian MuPublished in: Artif. Intell. (2024)
Keyphrases
- classical logic
- belief base
- inconsistent information
- inconsistent knowledge
- predicate calculus
- modal logic
- possibilistic logic
- logic programming
- multi valued
- horn clauses
- belief merging
- linear time temporal logic
- modal operators
- logical formulas
- sound and complete with respect
- predicate logic
- knowledge base
- digital circuits
- first order logic
- expressive power
- belief change