some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

   Volume 1 (2005)

   Volume 2 (2006)

   Volume 3 (2007)

   Volume 4 (2008)

   Volume 5 (2009)

   Volume 6 (2010)

   Volume 7 (2011)

   Volume 8 (2012)

   Volume 9 (2013)

   Volume 10 (2014)

   Volume 11 (2015)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   Volume 12 (2016)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 11, ISSUE 3, PAPER 7


On Nested Sequents for Constructive Modal Logics

©Lutz Straßburger, INRIA
©Anupam Das, INRIA
©Ryuta Arisaka, INRIA

Abstract
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.

Publication date: September 3, 2015

Full Text: PDF | PostScript
DOI: 10.2168/LMCS-11(3:7)2015

Hit Counts: 2170

Creative Commons