M\"unchhausen provability

DOI10.1017/jsl.2021.44zbMath1509.03162arXiv1908.11264WikidataQ120373609 ScholiaQ120373609MaRDI QIDQ6324383

Joost J. Joosten

Publication date: 29 August 2019

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Second- and higher-order arithmetic and fragments (03F35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: M\"unchhausen provability