Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs

DOI10.1007/978-3-662-59533-6_34zbMath1530.03086arXiv1804.01432MaRDI QIDQ6299945

Daniyar Shamkanov, Yury Savateev

Publication date: 3 April 2018

Mathematics Subject Classification ID

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

This page was built for publication: Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs