The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination

DOI10.1093/jigpal/jzt052zbMath1343.03013OpenAlexW1971477260MaRDI QIDQ5172141

Silvio Ghilardi, Grigori Mints

Publication date: 12 February 2015

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzt052

zbMATH Keywords

modal logiccut-eliminationcorrespondence theorystep frames

Mathematics Subject Classification ID

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

Related Items (1)

The bounded proof property via step algebras and step frames

This page was built for publication: The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination