On the Proof Theory of Indexed Nested Sequents for Classical and Intuitionistic Modal Logics - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2017

On the Proof Theory of Indexed Nested Sequents for Classical and Intuitionistic Modal Logics

(1) , (1)
1

Abstract

Fitting's indexed nested sequents can be used to give deductive systems to modal logics which cannot be captured by pure nested sequents. In this paper we show how the standard cut-elimination procedure for nested sequents can be extended to indexed nested sequents, and we discuss how indexed nested sequents can be used for intuitionistic modal logics.
Fichier principal
Vignette du fichier
RR-9061.pdf (812.68 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01515797 , version 1 (28-04-2017)

Identifiers

  • HAL Id : hal-01515797 , version 1

Cite

Sonia Marin, Lutz Strassburger. On the Proof Theory of Indexed Nested Sequents for Classical and Intuitionistic Modal Logics. [Research Report] RR-9061, Inria. 2017. ⟨hal-01515797⟩
222 View
71 Download

Share

Gmail Facebook Twitter LinkedIn More