Sequent logic of arithmetic decidability

zbMath1021.03010MaRDI QIDQ1866903

Evgeni E. Zolin

Publication date: 23 April 2003

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

provability logicGödel-Löb logicarithmetic solvabilitysequent logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

Symmetric contingency logic with unlimitedly many modalities

This page was built for publication: Sequent logic of arithmetic decidability