A many-sorted variant of Japaridze’s polymodal provability logic

DOI10.1093/jigpal/jzy012zbMath1492.03020arXiv1601.02857OpenAlexW3098913837WikidataQ130042366 ScholiaQ130042366MaRDI QIDQ5095650

Gerald Berger, Hans Tompits, Lev D. Beklemishev

Publication date: 10 August 2022

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

Full work available at URL: https://arxiv.org/abs/1601.02857

zbMATH Keywords

modal logicmathematical logicprovability logicsformal arithmeticarithmetical completeness

Mathematics Subject Classification ID

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

This page was built for publication: A many-sorted variant of Japaridze’s polymodal provability logic