Decidability of interpretability logics ILM0 and ILW.
Luka MikecTin PerkovMladen VukovicPublished in: Log. J. IGPL (2017)
Keyphrases
- decision procedures
- modal logic
- description logics
- expressive power
- computational properties
- query answering
- conditional logic
- prediction accuracy
- inference rules
- labor market
- number restrictions
- type checking
- theorem proving
- propositional calculus
- nonmonotonic logics
- classical logic
- rule base
- higher order
- fuzzy logic
- query containment
- epistemic logic
- relational databases
- information systems
- databases
- data sets