Towards a fibrational account of modal logic

Kurt Ranalter - Dottorando in cotutela tra la Queen Mary, Università di Londra, e l'Università di Verona.
Date and time
Tuesday, May 6, 2008 at 4:15 PM - Inizio alle 16:30, Caffe' e biscotti alle 16:15.
Ca' Vignal - Piramide, Floor 0, Hall Verde
Programme Director
Gianluigi Bellin
External reference
Publication date
April 11, 2008


We report on work in progress concerning the investigation of a semantics of proofs for intuitionistic modal logic. Starting from a few observations about Martini and Masini's work on a two-dimensional generalization of natural deduction we argue that models of the basic modal logic K can be regarded as simple fibrations, i.e. as an instance of a very general categorical semantics for intuitionistic propositional logic. Having such an account of modal proofs provides a good starting point for the investigation of the relationship between the various proof-theoretical approaches to modal logic

© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234