Representing Logics and Logic Translations.
Florian RabePublished in: Ausgezeichnete Informatikdissertationen (2008)
Keyphrases
- automated reasoning
- multi valued
- inference rules
- decision procedures
- proof theoretic
- computational properties
- default reasoning
- predicate logic
- machine translation system
- truth values
- sequent calculi
- modal operators
- horn logic
- proof theory
- propositional calculus
- order sorted
- default theories
- nonmonotonic logics
- query translation
- modal logic
- proof procedures
- logical framework
- valued logic
- intuitionistic logic
- epistemic logic
- temporal logic
- knowledge representation formalisms
- proof procedure
- model checking
- autoepistemic logic
- expressive power
- defeasible logic
- propositional dynamic logic
- coalition logic
- default logic
- set theory
- classical logic
- higher order logic
- conditional logic
- logic programming