FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: