1) Theorie und Anwendung von nicht-klassischer Logik.2) Schlussfolderungsmethoden und Tools für die Untersuchung von Logiken, im speziellen nicht-klassische Logiken.3) Anwendungen von nicht-klassischen Logiken in unterschiedlichen Gebieten wie z.B. zur Entwicklung von medizinischen Expertensystemen, oder z.B. für das bessere Verständnis von philosophischen Texten.

1) Theory and applications of logics different from classical (yes/no) logic. 2) Deduction methods and tools for the investigation of these logics (non-classical logics). 3) Applications of non-classical logics in various fields; for instance development and verification of medical expert systems, or better understanding of philosophical texts.