June 9, 2009
For our workshop Gentzen-systems and Beyond there is now a preliminary list of speakers and a booklet of abstracts available on the workshop homepage.
April 23, 2009
Our paper on modular sequent systems for modal logic is accepted at Tableaux 2009. I just finished the final version, it's available here.
February 2, 2009
Lutz and I just finished a paper on modular sequent systems for modal logic, available here.
September 22, 2008
Richard McKinley and I just finished the final version of "An algorithmic interpretation of a deep inference system", available here.
June 19, 2008
Richard McKinley and I just finished a paper on an algorithmic interpretation of a deep inference system, available here.
October 29, 2007
There will be a meeting on deep inference here in Bern in the week starting on November 19th.
September 15, 2007
Thomas Studer and I just finished a syntactic cut-elimination procedure for an infinitary system for common knowledge, it is available here.
August 21, 2007
I just
finished the journal version of the paper on deep sequent
systems for modal logic, it is available here.