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

scientific article; zbMATH DE number 7668102

From MaRDI portal

Publication:5884951

Jump to:navigation, search

MaRDI QIDQ5884951

Tiziano Dalmonte

Publication date: 24 March 2023

Full work available at URL: https://arxiv.org/abs/2210.09937

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

zbMATH Keywords

sequent calculus intuitionistic modal logic neighbourhood semantics constructive modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication:

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