Dept. of Philosophy
University of Helsinki
Thursday, 6 May 2004, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Abstract: 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.