Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics

DOI10.1093/logcom/12.5.861zbMath1006.03036OpenAlexW2061293267MaRDI QIDQ4779590

Rajeev Goré, Stéphane P. Demri

Publication date: 13 March 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a1c59b6d612983582e46e396b020b4e06cf74c3a

zbMATH Keywords

cut eliminationdisplay logicmany-one reductionmodal provability logicsformula generation mapSahlqvist modal logics

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (3)

Power and Limits of Structural Display Rules ⋮ VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED ⋮ Deciding regular grammar logics with converse through first-order logic

This page was built for publication: Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics