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

scientific article

From MaRDI portal

Publication:3509043

Jump to:navigation, search

zbMath1144.03011MaRDI QIDQ3509043

Natasha Alechina, Dmitry Shkatov

Publication date: 1 July 2008

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

zbMATH Keywords

determinism PDL multimodal logics edge-labelled graphs existential modality logics for modelling semi-structured data multi-modal K

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (1)

Modal logics for reasoning about infinite unions and intersections of binary relations

This page was built for publication:

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