Completeness and decidability results for a logic of contrary-to-duty conditionals.
José CarmoAndrew J. I. JonesPublished in: J. Log. Comput. (2013)
Keyphrases
- modal logic
- decision procedures
- conditional logic
- computational properties
- proof theoretic
- description logics
- logic programming
- temporal logic
- automata theoretic
- belief revision
- query answering
- inference rules
- default reasoning
- logical framework
- classical logic
- sound and complete axiomatization
- proof theory
- nonmonotonic inference
- epistemic logic
- nonmonotonic logics
- nonmonotonic reasoning
- expert systems
- truth values
- modal operators
- deductive databases
- multi agent systems
- databases