Björn Lellmann

Room Nr. 558
Huxley Building
Telephone: 0207 594 8449
eMail: b.lellmann10@doc.ic.ac.uk

LogIC Seminar

Publications

• Graphical Construction of Cut-free Sequent Systems Suitable for Backwards Proof Search (extended abstract), with Dirk Pattinson
  In: R. A. Schmidt and F. Papacchini (Eds.): Proceedings of ARW 2012


• Cut Elimination for Shallow Modal Logics, with Dirk Pattinson
  In: K. Brünnler and G. Metcalfe (Eds.): TABLEAUX 2011, LNAI 6793. pp. 211 - 225, 2011.
  Extended version (with proofs).


• Note on a Dichotomy for the Classes W[P](C) Defined via Symmetric Connectives
  In: A. V. Jones (Ed.): Proceedings of ICCSW '11


• Diploma thesis (in German)

Talks

• Graphical Construction of Cut-Free Sequent Systems (at PhDs in Logic 2012, Ghent)


• A Dichotomy Theorem for The Classes W[P](C) (at ICCSW 2011, London)


• Cut Elimination for Modal Logics with Shallow Axioms (at TABLEAUX 2011, Bern)


• From Shallow Axioms to Cut-free Sequent Systems (at ALCOP 2011, Bern)

Teaching (in Freiburg)