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

scientific article; zbMATH DE number 1080249

From MaRDI portal

Publication:4361651

Jump to:navigation, search

zbMath0881.03013MaRDI QIDQ4361651

Pavel A. Alexeev, M. I. Golovanov

Publication date: 17 February 1998

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

zbMATH Keywords

decidability Kripke semantics finite model property local finiteness polymodal logic admissibility of inference rules

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:4361651&oldid=18348574"