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
The \(\Sigma_1\)-provability logic of HA revisited - MaRDI portal

The \(\Sigma_1\)-provability logic of HA revisited

From MaRDI portal

Publication:6612810

Jump to:navigation, search

DOI10.1007/978-3-031-47921-2_4MaRDI QIDQ6612810

Mojtaba Mojtahedi

Publication date: 1 October 2024

zbMATH Keywords

Heyting arithmetic provability logic intuitionistic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: The \(\Sigma_1\)-provability logic of HA revisited

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