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

scientific article; zbMATH DE number 7084850

From MaRDI portal

Publication:5224584

Jump to:navigation, search

zbMath1418.03056MaRDI QIDQ5224584

Thomas Studer, Michel Marti

Publication date: 24 July 2019

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

zbMATH Keywords

intuitionistic logic disjunction property justification logic sharp model

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

On the proof theory of infinitary modal logic

This page was built for publication:

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