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
A stratified approach to Löb induction - MaRDI portal

A stratified approach to Löb induction

From MaRDI portal

Publication:6544118

Jump to:navigation, search

DOI10.4230/LIPICS.FSCD.2022.23zbMATH Open1541.03034MaRDI QIDQ6544118

Lars Birkedal, Daniel Gratzer

Publication date: 27 May 2024

zbMATH Keywords

canonicity dependent type theory modal type theory guarded recursion categorical gluing

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Type theory (03B38)

This page was built for publication: A stratified approach to Löb induction

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

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