Andreas Nonnengart: Current Research
Research topics include:
- Verification of Hybrid Systems.
- Modal Logics:
Translation from modal logic into first-order predicate logic.
Modal logic correspondence and completeness theory.
Resolution-based calculi for modal logics.
Theory inference rules tailored for modal logics.
- Temporal Logics:
Resolution-based calculi for temporal logics.
Temporal logic correspondence and completeness theory.
- Extraction of first-order theories:
Saturation techniques, theory rules instead of theory clauses.
- Applications of Second-Order Quantifier Elimination:
Correspondence Theory, Abduction, Circumscription, Interpolation.
- Secure communication.
Impressum: Andreas Nonnengart
DFKI Impressum
DFKI Datenschutzerklärung