Decomposing labelled proof theory for intuitionistic modal logic
Authors: Sonia Marin, Marianela Morales and Lutz Straßburger
Paper Information
| Title: | Decomposing labelled proof theory for intuitionistic modal logic |
| Authors: | Sonia Marin, Marianela Morales and Lutz Straßburger |
| Proceedings: | WiL Short Papers and Abstracts |
| Editors: | Valeria de Paiva, Amy Felty and Ursula Martin |
| Keywords: | Proof theory, Intuitionistic modal logic, Labelled sequents |
| Abstract: | ABSTRACT. We present a labelled deduction for intuitionistic modal logic that comes with two relation symbols, one for the accessible world relation associated with the Kripke semantics for modal logics, and one for the preorder relation associated with the Kripke semantics for intuitionistic logic. Thus, our labelled system is in close correspondence to the birelational Kripke models. |
| Pages: | 1 |
| Talk: | Jul 08 11:45 (Session 38R) |
| Paper: |  |