Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs

DOI10.1007/978-3-662-55386-2_23zbMath1496.03085arXiv1704.03258OpenAlexW2605801877MaRDI QIDQ1685937

Daniyar Shamkanov, Yury Savateev

Publication date: 20 December 2017

Full work available at URL: https://arxiv.org/abs/1704.03258

zbMATH Keywords

cut-eliminationGrzegorczyk logicnon-well-founded proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Related Items (1)

NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC

This page was built for publication: Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs