Logic and Theory Group (LTG)

Research Projects

  • A proof theory for modal fixed point logics
  • Algebraic and Logical Aspects of Knowledge Processing
  • Inference and Deduction
  • Logic and Computation
  • Logic and Information
  • Managing Trust in Distributed Systems
  • Structural Proof Theory and the Logic of Proofs
  • Resource-Bounded Reasoning and Anytime Algorithms
  • ViLoLa - a Virtual Logic Laboratory (maintenance)