Strassburger, Lutz and Das, Anupam and Arisaka, Ryuta - On Nested Sequents for Constructive Modal Logics

lmcs:1583 - Logical Methods in Computer Science, September 3, 2015, Volume 11, Issue 3
On Nested Sequents for Constructive Modal Logics

Authors: Strassburger, Lutz and Das, Anupam and Arisaka, Ryuta

We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b, 4, and 5. This includes the constructive variants of the standard modal logics K4, S4, and S5. We use for our presentation the formalism of nested sequents and give a syntactic proof of cut elimination.


Source : oai:arXiv.org:1505.06896
DOI : 10.2168/LMCS-11(3:7)2015
Volume: Volume 11, Issue 3
Published on: September 3, 2015
Submitted on: May 17, 2014
Keywords: Computer Science - Logic in Computer Science


Share

Consultation statistics

This page has been seen 120 times.
This article's PDF has been downloaded 53 times.