"Lewis and Brouwer meet Strong L\""ob"
From MaRDI portal
Publication:6531107
arXiv2404.11969MaRDI QIDQ6531107FDOQ6531107
Authors: Albert Visser, Tadeusz Litak 
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)
