On the Proof Theory of the Modal Logic Grz
type: Item
instance of: scholarly article
title: On the Proof Theory of the Modal Logic Grz
zbMATH Open document ID: 0613.03004
published in: Mathematical Logic Quarterly
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 3991474
zbMATH Keywords: syntactical proof
zbMATH Keywords: cut-elimination theorem
zbMATH Keywords: modal logic Grz
MaRDI profile type: MaRDI publication profile
full work available at URL: malq.19860321002
OpenAlex ID: W2094466202
DOI: 10.1002/MALQ.19860321002
description: scientific article