Proof theory for indexed nested sequents - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

Proof theory for indexed nested sequents

Abstract

Fitting's indexed nested sequents can be used to give deduc-tive 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
Tableaux17.pdf (406.43 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01635935 , version 1 (15-11-2017)

Identifiers

  • HAL Id : hal-01635935 , version 1

Cite

Sonia Marin, Lutz Strassburger. Proof theory for indexed nested sequents. TABLEAUX 2017 - Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2017, Brasilia, Brazil. pp.81-97. ⟨hal-01635935⟩
103 View
156 Download

Share

Gmail Facebook X LinkedIn More