M\"unchhausen provability
From MaRDI portal
Publication:6324383
DOI10.1017/jsl.2021.44zbMath1509.03162arXiv1908.11264WikidataQ120373609 ScholiaQ120373609MaRDI QIDQ6324383
Publication date: 29 August 2019
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