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

scientific article; zbMATH DE number 1215475

From MaRDI portal

Publication:4215608

Jump to:navigation, search

zbMath0906.03017MaRDI QIDQ4215608

Dimiter Vakarelov

Publication date: 22 February 1999

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

zbMATH Keywords

modal logic completeness relational system basic hyper arrow logic hyper arrow frame hyper arrow structure

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Other algebras related to logic (03G25) Graph theory (05C99)

Related Items

Many-dimensional arrow logics

This page was built for publication:

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