|Speaker:||Dr Sara NEGRI, University of Helsinki, Finland|
|Place:||Room B 101, Institute of Cybernetics, Akadeemia tee 21, Tallinn, Estonia|
|Time:||Thursday, May 6, 2004, 14:00|
We present a general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics. The method covers all modal logic characterised by Kripke frames determined by universal or geometric properties and it can be extended to treat also Gödel-Löb provability logic.