Paraconsistent double negation as a modal operator.
Norihiro KamidePublished in: Math. Log. Q. (2016)
Keyphrases
- logic programming
- modal operators
- truth values
- modal logic
- logic programs
- nonmonotonic logics
- inference rules
- nonmonotonic reasoning
- situation calculus
- deductive databases
- temporal logic
- knowledge base
- linear time temporal logic
- partially ordered
- answer set programming
- communicative acts
- default logic
- description logics
- classical logic
- knowledge representation
- programming language
- fixpoint
- stable models
- possibilistic logic
- general purpose
- answer sets
- belief revision
- mental states
- default theories
- multi agent
- artificial intelligence