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
scientific article; zbMATH DE number 6302903 - MaRDI portal

scientific article; zbMATH DE number 6302903

From MaRDI portal

Publication:5419879

Jump to:navigation, search

zbMath1301.03063MaRDI QIDQ5419879

Joost J. Joosten, David Fernández-Duque

Publication date: 11 June 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logic proof theory Kripke models transfinite provability logic

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (5)

Reflection algebras and conservation results for theories of iterated truth ⋮ The omega-rule interpretation of transfinite provability logic ⋮ On provability logics with linearly ordered modalities ⋮ Topological Interpretations of Provability Logic ⋮ MÜNCHHAUSEN PROVABILITY

This page was built for publication:

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