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

scientific article; zbMATH DE number 817497

From MaRDI portal

Publication:4854864

Jump to:navigation, search

zbMath0829.03009MaRDI QIDQ4854864

Hengshan Gao

Publication date: 12 December 1995

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

zbMATH Keywords

relational semantics algebraic semantics completeness theorem Kripke semantics quantified modal logic normal modal logic Barcan formula nested domains

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:4854864&oldid=19203968"