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

scientific article; zbMATH DE number 1735879

From MaRDI portal

Publication:4329240

Jump to:navigation, search

zbMath1001.03019MaRDI QIDQ4329240

Valentin F. Goranko, Dimiter Vakarelov

Publication date: 11 December 2002

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

zbMATH Keywords

universal algebra axiomatization structure multimodal logic generalized Kripke frame

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10)

Related Items (2)

Hyperboolean Algebras and Hyperboolean Modal Logic ⋮ A Hilbert-style axiomatisation for equational hybrid logic

This page was built for publication:

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