Internalised Kripke semantics and proof analysis in modal logic

Sara Negri

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.

Tarmo Uustalu
Last update 24.4.2004