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

scientific article; zbMATH DE number 218532

From MaRDI portal

Jump to:navigation, search

zbMath0784.03015MaRDI QIDQ4694248

Kosta Došen

Publication date: 29 June 1993

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

zbMATH Keywords

modal embeddings normal modal logics Heyting propositional calculus

Mathematics Subject Classification ID

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

Related Items

Rudimentary Kripke models for the intuitionistic propositional calculus, Modal companions of intermediate propositional logics, Modal logic as metalogic

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