2-sequent calculus: A proof theory of modalities
type: Item
instance of: scholarly article
title: 2-sequent calculus: A proof theory of modalities
zbMATH Open document ID: 0819.03045
DOI: 10.1016/0168-0072(92)90029-Y
author: Andrea Masini
published in: Annals of Pure and Applied Logic
publication date: 1993-04-01T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 149963
zbMATH Keywords: extension of Gentzen sequent calculus
zbMATH Keywords: cut elimination
MaRDI profile type: Publication
cites work: Q4342093
cites work: Intuitionistic tense and modal logic
cites work: Q3773876
cites work: Q3994895
cites work: Q5604443
cites work: 2-Sequent Calculus: Intuitionism and Natural Deduction
cites work: Proof theory
cites work: Constructive modal logics. I
full work available at URL: 0168-0072(92)90029-y
OpenAlex ID: W2009791150
description: scientific article; zbMATH DE number 149963