Nested sequents for provability logic GLP: FIG. 1.

DOI10.1093/jigpal/jzv029zbMath1405.03098OpenAlexW2951954830MaRDI QIDQ4644600

Daniyar Shamkanov

Publication date: 8 January 2019

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

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

zbMATH Keywords

cut eliminationprovability logicnested sequents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

On translating Lambek grammars with one division into context-free grammars

This page was built for publication: Nested sequents for provability logic GLP: FIG. 1.