The axiomatic translation principle for modal logic.
Renate A. SchmidtUllrich HustadtPublished in: ACM Trans. Comput. Log. (2007)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- classical logic
- machine translation
- dynamic logic
- situation calculus
- epistemic logic
- default logic
- conditional logic
- decision theory
- query translation
- cross language information retrieval
- domain knowledge
- description logic alc
- autoepistemic logic
- target language
- belief revision
- prime implicates
- case based reasoning