Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On the unification problem for GLP - MaRDI portal

On the unification problem for GLP

From MaRDI portal

Publication:6529542

Jump to:navigation, search

arXiv2404.04893MaRDI QIDQ6529542

Lev D. Beklemishev

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: On the unification problem for GLP

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6529542&oldid=40049549"