Decidability for some justification logics with negative introspection.
Thomas StuderPublished in: J. Symb. Log. (2013)
Keyphrases
- decision procedures
- modal logic
- autoepistemic logic
- description logics
- expressive power
- computational properties
- positive and negative
- query answering
- default logic
- theorem proving
- proof theory
- inference rules
- classical logic
- number restrictions
- real time
- nonmonotonic logics
- temporal logic
- database systems
- search engine
- data mining