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

scientific article

From MaRDI portal

Publication:4020434

Jump to:navigation, search

zbMath0765.03010MaRDI QIDQ4020434

Frédéric Sart, Georges Hansoul

Publication date: 16 January 1993

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

zbMATH Keywords

modal logic Kripke semantics categorical equivalence S5 semantic equivalence semantics for modal systems containing K45

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:4020434&oldid=17725730"