"Lewis and Brouwer meet Strong L\""ob"

arXiv2404.11969MaRDI QIDQ6531107FDOQ6531107

Authors Albert Visser, Tadeusz Litak

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Metamathematics of constructive systems (03F50) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Intuitionistic mathematics (03F55)

This page was built for publication: "Lewis and Brouwer meet Strong L\""ob"

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6531107)