Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Nested Sequents for Constructive Modal Logics

Participants : Ryuta Arisaka, Anupam Das, Lutz Straßburger.

In the propositional case, “constructive” and “intuitionistic” logic are usually considered the same. However, in the presence of the modalities and this situation changes because there are several choice of which variants of the k-axiom (which are all equivalent in the classical case) are to be included. Whereas in [75] the intuitionistic variant of the S5-cube has been studied, we studied in this years work [34] the constructive variant of the logics in the S5-cube.