LTG Logic and Theory Group

University of Bern
  • Home
  • Contact
  • Staff
  • Publications
  • Lectures
  • Research Projects
  • Student Projects
  • Links
Home

Research Projects

  • A Proof Theory for Modal Fixed Point Logics
  • Algebraic and Logical Aspects of Knowledge Processing
  • Computational Proof Theory
  • Computational Structure of Classical Duality
  • Logic and Computation
  • Refining Reasoning via Justification Extraction: A Proof-Theoretic Approach
  • Structural Proof Theory and the Logic of Proofs

Upcoming events

  • End Spring Semester 2012(10 days)
  • Explicit Paradigms in Logic and Computer Science(13 days)
Add to iCalendar
more

Search