Sequent Systems for Classical Modal Logics
Authors: Paolo Maffezioli and David Gilbert
Paper Information
| Title: | Sequent Systems for Classical Modal Logics |
| Authors: | Paolo Maffezioli and David Gilbert |
| Proceedings: | GSB 2014 Proceedings |
| Editors: | Roman Kuznets and George Metcalfe |
| Keywords: | Classical Modal Logics, Proof Theory, Neighborhood Semantics |
| Abstract: | ABSTRACT. This paper develops sequent calculi for several classical modal logics. Utilizing a polymodal translation of the standard modal language, we are able to establish a base system for the minimal classical modal logic from which we generate extensions in a modular, and uniform, manner. We also briefly suggest potential applications to epistemic logic. |
| Pages: | 0 |
| Talk: | Jul 13 11:10 |
| Paper: |  |