@inproceedings{72bab8a9c14b4c2781b79c2b64b008fc,
title = "Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic",
abstract = "We consider a general format for sequent rules for not necessarily normal modal logics based on classical or intuitionistic propositional logic and provide relatively simple local conditions ensuring cut elimination for such rule sets. The rule format encompasses e.g. rules for the boolean connectives and transitive modal logics such as S4 or its constructive version. We also adapt the method of constructing suitable rule sets by saturation to the intuitionistic setting and provide a criterium for translating axioms for intuitionistic modal logics into sequent rules. Examples include constructive modal logics and conditional logic.",
author = "Bj{\"o}rn Lellmann and Dirk Pattinson",
year = "2013",
doi = "10.1007/978-3-642-36039-8\_14",
language = "English",
isbn = "9783642360381",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "148--160",
booktitle = "Logic and Its Applications - 5th Indian Conference, ICLA 2013, Proceedings",
address = "Germany",
note = "5th Indian Conference on Logic and Its Applications, ICLA 2013 ; Conference date: 10-01-2013 Through 12-01-2013",
}