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 6863861 - MaRDI portal

scientific article; zbMATH DE number 6863861

From MaRDI portal

Publication:4636295

Jump to:navigation, search

zbMath1385.03043MaRDI QIDQ4636295

Samuel J. van Gool

Publication date: 23 April 2018

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

zbMATH Keywords

Stone duality provability logic diagonalizable algebra Magari algebra one-step constructions partial modal algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

The bounded proof property via step algebras and step frames

This page was built for publication:

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