@inproceedings{70ed964a7e7d4c5591b0c33157b38c44,
title = "Label-free modular systems for classical and intuitionistic modal logics",
abstract = "In this paper we show for each of the modal axioms d, t, b, 4, and 5 an equivalent set of inference rules in a nested sequent system, such that, when added to the basic system for the modal logic K, the resulting system admits cut elimination. Then we show the same result also for intuitionistic modal logic. We achieve this by combining structural and logical rules.",
keywords = "Cut elimination, Hilbert axioms, Modal logic, Nested sequents",
author = "Sonia Marin and Lutz Stra{\ss}burger",
year = "2014",
month = jan,
day = "1",
language = "English",
series = "Advances in Modal Logic",
publisher = "College Publications",
pages = "387--406",
editor = "Rajeev Gore and Barteld Kooi and Agi Kurucz",
booktitle = "10th Conference on Advances in Modal Logic, AiML 2014",
note = "10th Conference on Advances in Modal Logic, AiML 2014 ; Conference date: 05-08-2014 Through 08-08-2014",
}