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

"Internalised Kripke semantics and proof analysis in modal logic"


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.